| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Myrto Arapinis, Stéphanie Delaune, Steve Kremer |
From One Session to Many: Dynamic Tags for Security Protocols.  |
LPAR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommi A. Junttila, Jori Dubrovin |
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Belkhir, Luigi Santocanale |
The Variable Hierarchy for the Lattice µ-Calculus. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Justification-Based Local Search with Adaptive Noise Strategies. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Magdalena Ortiz 0001, Mantas Simkus |
Reasoning Using Knots. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Cristina Sirangelo |
Reasoning about XML with Temporal Logics and Automata. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Query automata, XML, static analysis, temporal logics |
| 1 | Kaustuv Chaudhuri |
Focusing Strategies in the Sequent Calculus of Synthetic Connectives. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah |
Reveal: A Formal Verification Tool for Verilog Designs. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer |
Variable Dependencies of Quantified CSPs. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban, Geoff Sutcliffe |
ATP Cross-Verification of the Mizar MPTP Challenge Problems. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
Enriched µ-Calculus Pushdown Module Checking. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Ludwig, Uwe Waldmann |
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Loreto Bravo |
The Semantics of Consistency and Trust in Peer Data Exchange Systems. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Axelsson, Martin Lange |
Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Abate, Rajeev Goré, Florian Widmann |
One-Pass Tableaux for Computation Tree Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Mitchell, Faraz Hach, Raheleh Mohebali |
Faster Phylogenetic Inference with MXG. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
Model Expansion, Declarative Programming, Phylogeny |
| 1 | Damiano Mazza, Michele Pagani |
The Separation Theorem for Differential Interaction Nets. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
Differential interaction nets, faithfulness, linear logic, observational equivalence, proof-nets |
| 1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Preferential Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Maieli |
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Mariën, Johan Wittocx, Marc Denecker |
Integrating Inductive Definitions in SAT. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kieronski, Lidia Tendera |
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Hai Lin 0005, Christopher Lynch |
Protocol Verification Via Rigid/Flexible Resolution. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch |
Verifying Cryptographic Protocols with Subterms Constraints. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Adila Krisnadhi, Carsten Lutz |
Data Complexity in the EL Family of Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bonichon, David Delahaye, Damien Doligez |
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Jaeger, Catherine Dubois |
Why Would You Trust B ? |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
Prover, Deep embedding, Formal Methods, Confidence |
| 1 | Sebastian Brandt |
Matching in Hybrid Terminologies. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zaynah Dargaye, Xavier Leroy |
Mechanized Verification of CPS Transformations. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francien Dechesne, Mohammad Reza Mousavi 0001, Simona Orzan |
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Akbarpour, Lawrence C. Paulson |
Extending a Resolution Prover for Inequalities on Elementary Functions. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann A. Makowsky |
From Hilbert's Program to a Logic Toolbox. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Helmut Veith |
On the Notion of Vacuous Truth. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Sarah Maarek, Ryo Yoshinaka |
On Two Extensions of Abstract Categorial Grammars. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio |
HORPO with Computability Closure: A Reconstruction. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Baelde, Dale Miller 0001 |
Least and Greatest Fixed Points in Linear Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Waldinger |
Whatever Happened to Deductive Question Answering? |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Alexander Rabinovich |
The Complexity of Temporal Logic with Until and Since over Ordinals. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Tore Langholm, Michal Walicki |
Completeness and Decidability in Sequence Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Samer, Stefan Szeider |
Algorithms for Propositional Model Counting. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mantas Simkus, Thomas Eiter |
\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Stéphanie Delaune |
Deciding Knowledge in Security Protocols for Monoidal Equational Theories. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv |
Decidable Fragments of Many-Sorted Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Pulcini |
Permutative Additives and Exponentials. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Completeness for Flat Modal Fixpoint Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
fixpoint logic, completeness, modal algebra |
| 1 | Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin |
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maja Milicic |
Complexity of Planning in Action Formalisms Based on Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Approved Models for Normal Logic Programs. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Mark-Oliver Stehr |
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo R. Fillottrani, Guillermo Ricardo Simari |
Representing Defaults and Negative Information Without Negation-as-Failure. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Eugen Zalinescu |
Deciding Key Cycles for Security Protocols. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Fila, Siva Anantharaman |
Automata for Positive Core XPath Queries on Compressed Documents. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
Tree grammars, Dags, Core XPath, XML, Automata |
| 1 | Elvira Albert, Puri Arenas, Germán Puebla |
An Incremental Approach to Abstraction-Carrying Code. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bonichon, Olivier Hermant |
A Semantic Completeness Proof for TaMeD. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani |
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
Representation of Partial Knowledge and Query Answering in Locally Complete Databases. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Benjamin Grégoire, Fernando Pastawski |
CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Matthews, J Strother Moore, Sandip Ray, Daron Vroon 0001 |
Verification Condition Generation Via Theorem Proving. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Germain Faure |
Matching Modulo Superdevelopments Application to Second-Order Matching. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Moser |
Derivational Complexity of Knuth-Bendix Orders Revisited. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Rümmer |
Sequential, Parallel, and Quantified Updates of First-Order Structures. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio |
Higher-Order Termination: From Kruskal to Computability. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi |
On Locally Checkable Properties. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Decker, Davide Martinenghi |
A Relaxed Approach to Integrity and Inconsistency in Databases. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Régis Gascon |
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke 0001, Deepak Kapur |
Inductive Decidability Using Implicit Induction. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
Context-Sensitive Multivariant Assertion Checking in Modular Programs. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Gedell, Reiner Hähnle |
Automating Verification of Loops by Parallelization. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Automatic Combinability of Rewriting-Based Satisfiability Procedures. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen |
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Kazushige Terui |
Modular Cut-Elimination: Finding Proofs or Counterexamples. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Blanqui, Colin Riba |
Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani |
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
Splitting on Demand in SAT Modulo Theories. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta |
Constructing Camin-Sokal Phylogenies Via Answer Set Programming. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
Camin-Sokal, answer set programming, phylogeny, maximum parsimony |
| 1 | Ozan Kahramanogullari |
Reducing Nondeterminism in the Calculus of Structures. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli |
Lemma Learning in the Model Evolution Calculus. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux |
A Characterization of Alternating Log Time by First Order Functional Programs. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl |
SAT Solving for Argument Filterings. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Kikuchi |
On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss |
Boolean Rings for Intersection-Based Satisfiability. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Giese |
Saturation Up to Redundancy for Tableau and Sequent Calculi. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Limet, Pierre Pillot |
Deciding Satisfiability of Positive Second Order Joinability Formulae. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Ulrike Sattler |
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alwen Tiu |
A Local System for Intuitionistic Logic. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures |
| 1 | Harald Ganzinger, Konstantin Korovin |
Theory Instantiation. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian G. Fermüller, Robert Kosik |
Combining Supervaluation and Degree Based Reasoning Under Vagueness. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jakob Grue Simonsen |
On Confluence of Infinitary Combinatory Reduction Systems. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Xiaochu Qi |
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Sutcliffe, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Moshe Y. Vardi |
Experimental Evaluation of Classical Automata Constructions. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia, Mircea Marin |
Matching with Regular Constraints. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Van Gelder |
Independently Checkable Proofs from Decision Procedures: Issues and Progress. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse |
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein |
A Unified Memory Model for Pointers. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Björk |
A First Order Extension of Stålmarck's Method. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license