Book Chapter
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz and Tomáš Vojnar
Lecture Notes in Computer Science, 2006, Volume 4134, Static Analysis, Pages 52-70
Book Chapter
Composing decision procedures: the approach and a case study
Mauro Di Manzo and Paolo Pecchiari
Lecture Notes in Computer Science, 1995, Volume 992, Topics in Artificial Intelligence, Pages 175-186
Book Chapter
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Flavio A. Ferrarotti and José M. Turull Torres
Lecture Notes in Computer Science, 2008, Volume 4925, Semantics in Data and Knowledge Bases, Pages 48-76
Book Chapter
The expressive power of second order Horn logic
Erich Grädel
Lecture Notes in Computer Science, 1991, Volume 480, STACS 91, Pages 466-477
Book Chapter
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints
Laura Bozzelli and Régis Gascon
Lecture Notes in Computer Science, 2006, Volume 4246, Logic for Programming, Artificial Intelligence, and Reasoning, Pages 197-211
Book Chapter
An Analytic Calculus for Quantified Propositional Gödel Logic
Matthias Baaz, Christian Fermüller and Helmut Veith
Lecture Notes in Computer Science, 2000, Volume 1847, Automated Reasoning with Analytic Tableaux and Related Methods, Pages 112-126
Book Chapter
RPO Constraint Solving Is in NP
Paliath Narendran, Michael Rusinowitch and Rakesh Verma
Lecture Notes in Computer Science, 1999, Volume 1584, Computer Science Logic, Pages 385-398
Book Chapter
Diophantine equations, Presburger arithmetic and finite automata
Alexandre Boudet and Hubert Comon
Lecture Notes in Computer Science, 1996, Volume 1059, Trees in Algebra and Programming — CAAP '96, Pages 30-43
Book Chapter
Regular path expressions in feature logic
Rolf Backofen
Lecture Notes in Computer Science, 1993, Volume 690, Rewriting Techniques and Applications, Pages 121-135
Book Chapter
Maximal extensions of simplification orderings
Deepak Kapur and G. Sivakumar
Lecture Notes in Computer Science, 1995, Volume 1026, Foundations of Software Technology and Theoretical Computer Science, Pages 225-239