|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Counting and Enumeration Problems with Bounded Treewidth. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Zankl, Aart Middeldorp |
Satisfiability of Non-linear (Ir)rational Arithmetic. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Axel Legay, Sophie Pinchinat |
Hardness of Preorder Checking for Basic Formalisms. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fearnley |
Non-oblivious Strategy Improvement. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte |
On the Equality of Probabilistic Terms. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell |
Speed-Up Techniques for Negation in Grounding. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Sutcliffe |
The TPTP World - Infrastructure for Automated Reasoning. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács |
ABC: Algebraic Bound Computation for Loops. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Moshe Y. Vardi |
Synthesis of Trigger Properties. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Tami Tamir |
Coping with Selfish On-Going Behaviors. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Horbach |
Disunification for Ultimately Periodic Interpretations. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gourinath Banda, John P. Gallagher |
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Vyskocil, David Stanovský, Josef Urban |
Automated Proof Compression by Invention of New Definitions. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Galmiche, Yakoub Salhi |
Label-Free Proof Systems for Intuitionistic Modal Logic IS5. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoichi Hirai |
An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berger, Laurence Tratt |
Program Logics for Homogeneous Meta-programming. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolai Tillmann, Jonathan de Halleux |
Qex: Symbolic SQL Query Explorer. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella, Margherita Napoli, Mimmo Parente |
Graded Alternating-Time Temporal Logic. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino |
Dafny: An Automatic Program Verifier for Functional Correctness. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Woltzenlogel Paleo |
Atomic Cut Introduction by Resolution: Proof Structuring and Compression. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Luigi Liquori |
Logic and Computation in a Lambda Calculus with Intersection and Union Types. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell |
Semiring-Induced Propositional Logic: Definition and Basic Algorithms. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Beringer, Robert Grabowski, Martin Hofmann |
Verifying Pointer and String Analyses with Region Type Systems. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gabbay, Murdoch James Gabbay |
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Spoto |
The Nullness Analyser of julia. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Moshe Zazon-Ivry |
Pairwise Cardinality Networks. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")