16. LPAR 2010:
Dakar,
Senegal
Edmund M. Clarke, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers.
Lecture Notes in Computer Science 6355 Springer 2010, ISBN 978-3-642-17510-7 
- Geoff Sutcliffe:
The TPTP World - Infrastructure for Automated Reasoning.
1-12
- Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell:
Speed-Up Techniques for Negation in Grounding.
13-26
- Gourinath Banda, John P. Gallagher:
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation.
27-45
- Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte:
On the Equality of Probabilistic Terms.
46-63
- Martin Berger, Laurence Tratt:
Program Logics for Homogeneous Meta-programming.
64-81
- Lennart Beringer, Robert Grabowski, Martin Hofmann:
Verifying Pointer and String Analyses with Region Type Systems.
82-102
- Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács:
ABC: Algebraic Bound Computation for Loops.
103-118
- Laura Bozzelli, Axel Legay, Sophie Pinchinat:
Hardness of Preorder Checking for Basic Formalisms.
119-135
- Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot:
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.
136-153
- Michael Codish, Moshe Zazon-Ivry:
Pairwise Cardinality Networks.
154-172
- Daniel J. Dougherty, Luigi Liquori:
Logic and Computation in a Lambda Calculus with Intersection and Union Types.
173-191
- Marco Faella, Margherita Napoli, Mimmo Parente:
Graded Alternating-Time Temporal Logic.
192-211
- John Fearnley:
Non-oblivious Strategy Improvement.
212-230
- Michael Gabbay, Murdoch James Gabbay:
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing.
231-254
- Didier Galmiche, Yakoub Salhi:
Label-Free Proof Systems for Intuitionistic Modal Logic IS5.
255-271
- Yoichi Hirai:
An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory.
272-289
- Matthias Horbach:
Disunification for Ultimately Periodic Interpretations.
290-311
- Orna Kupferman, Moshe Y. Vardi:
Synthesis of Trigger Properties.
312-331
- Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell:
Semiring-Induced Propositional Logic: Definition and Basic Algorithms.
332-347
- K. Rustan M. Leino:
Dafny: An Automatic Program Verifier for Functional Correctness.
348-370
- Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful Strategic Reasoning in Alternating-Time Temporal Logic.
371-386
- Reinhard Pichler, Stefan Rümmele, Stefan Woltran:
Counting and Enumeration Problems with Bounded Treewidth.
387-404
- Fausto Spoto:
The Nullness Analyser of julia.
405-424
- Margus Veanes, Nikolai Tillmann, Jonathan de Halleux:
Qex: Symbolic SQL Query Explorer.
425-446
- Jirí Vyskocil, David Stanovský, Josef Urban:
Automated Proof Compression by Invention of New Definitions.
447-462
- Bruno Woltzenlogel Paleo:
Atomic Cut Introduction by Resolution: Proof Structuring and Compression.
463-480
- Harald Zankl, Aart Middeldorp:
Satisfiability of Non-linear (Ir)rational Arithmetic.
481-500
- Orna Kupferman, Tami Tamir:
Coping with Selfish On-Going Behaviors.
501-516
Last update Fri May 25 08:25:35 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
