default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th LPAR 2010: Dakar, Senegal
- Edmund M. Clarke, Andrei Voronkov:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
