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. Springer 2010 Lecture Notes in Computer Science 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
- 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
- Daniel J. Dougherty, Luigi Liquori: Logic and Computation in a Lambda Calculus with Intersection and Union Types. 173-191
- 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
- Yoichi Hirai: An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. 272-289
- Matthias Horbach: Disunification for Ultimately Periodic Interpretations. 290-311
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team