![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
16th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.