LPAR (Dakar)

Publications

2010

Laura Bozzelli, Axel Legay, Sophie Pinchinat
Hardness of Preorder Checking for Basic Formalisms. LPAR (Dakar) (2010)
Lennart Beringer, Robert Grabowski, Martin Hofmann
Verifying Pointer and String Analyses with Region Type Systems. LPAR (Dakar) (2010)
Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte
On the Equality of Probabilistic Terms. LPAR (Dakar) (2010)
Didier Galmiche, Yakoub Salhi
Label-Free Proof Systems for Intuitionistic Modal Logic IS5. LPAR (Dakar) (2010)
Matthias Horbach
Disunification for Ultimately Periodic Interpretations. LPAR (Dakar) (2010)
Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell
Speed-Up Techniques for Negation in Grounding. LPAR (Dakar) (2010)
Michael Codish, Moshe Zazon-Ivry
Pairwise Cardinality Networks. LPAR (Dakar) (2010)
Orna Kupferman, Tami Tamir
Coping with Selfish On-Going Behaviors. LPAR (Dakar) (2010)
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
Counting and Enumeration Problems with Bounded Treewidth. LPAR (Dakar) (2010)
John Fearnley
Non-oblivious Strategy Improvement. LPAR (Dakar) (2010)
Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell
Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) (2010)
Marco Faella, Margherita Napoli, Mimmo Parente
Graded Alternating-Time Temporal Logic. LPAR (Dakar) (2010)
Gourinath Banda, John P. Gallagher
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. LPAR (Dakar) (2010)
Orna Kupferman, Moshe Y. Vardi
Synthesis of Trigger Properties. LPAR (Dakar) (2010)
Margus Veanes, Nikolai Tillmann, Jonathan de Halleux
Qex: Symbolic SQL Query Explorer. LPAR (Dakar) (2010)
Fausto Spoto
The Nullness Analyser of julia. LPAR (Dakar) (2010)
Harald Zankl, Aart Middeldorp
Satisfiability of Non-linear (Ir)rational Arithmetic. LPAR (Dakar) (2010)
Martin Berger, Laurence Tratt
Program Logics for Homogeneous Meta-programming. LPAR (Dakar) (2010)
Daniel J. Dougherty, Luigi Liquori
Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) (2010)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. LPAR (Dakar) (2010)
Geoff Sutcliffe
The TPTP World - Infrastructure for Automated Reasoning. LPAR (Dakar) (2010)
Bruno Woltzenlogel Paleo
Atomic Cut Introduction by Resolution: Proof Structuring and Compression. LPAR (Dakar) (2010)
Jirí Vyskocil, David Stanovský, Josef Urban
Automated Proof Compression by Invention of New Definitions. LPAR (Dakar) (2010)
Yoichi Hirai
An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. LPAR (Dakar) (2010)
K. Rustan M. Leino
Dafny: An Automatic Program Verifier for Functional Correctness. LPAR (Dakar) (2010)
Michael Gabbay, Murdoch James Gabbay
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. LPAR (Dakar) (2010)
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) (2010)
Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) (2010)

volume 6355, 2010

Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers LPAR (Dakar) 6355 (2010)