Conferences in DBLP
Franz Baader , Jan Hladik , Carsten Lutz , Frank Wolter From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Autexier , Carsten Schürmann Disproving False Conjectures. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco-Jesús Martín-Mateos , José-Antonio Alonso , María-José Hidalgo , José-Luis Ruiz-Reina A Formal Proof of Dickson's Lemma in ACL2. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Ciaffaglione , Luigi Liquori , Marino Miculan Imperative Object-Based Calculi in Co-inductive Type Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nieuwenhuis , Albert Oliveras Congruence Closure with Integer Offsets. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Walther , Stephan Schweitzer A Machine-Verified Code Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Christian G. Fermüller A Translation Characterizing the Constructive Content of Classical Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Brandt , Anni-Yasmin Turhan , Ralf Küsters Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Heinemann Extended Canonicity of Certain Topological Properties of Set Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Silvio Ghilardi , Luigi Santocanale Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Giesl , René Thiemann , Peter Schneider-Kamp , Stephan Falke Improving Dependency Pairs. [Citation Graph (0, 0)][DBLP ] Conf ] Kumar Neeraj Verma On Closure under Complementation of Equational Tree Automata for Theories Extending AC. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Morawska Completeness of E-Unification with Eager Variable Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Serikzhan Badaev Computable Numberings. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Konev , Anatoli Degtyarev , Michael Fisher Handling Equality in Monodic Temporal Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Berwanger , Erich Grädel , Stephan Kreutzer Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. [Citation Graph (0, 0)][DBLP ] Conf ] Davy Van Nieuwenborgh , Dirk Vermeir Ordered Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Toshiko Wakaki , Katsumi Inoue , Chiaki Sakama , Katsumi Nitta Computing Preferred Answer Sets in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Quoc Bao Vo , Abhaya C. Nayak , Norman Y. Foo A Syntax-Based Approach to Reasoning about Actions and Events. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Wilke Minimizing Automata on Infinite Words. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita V. Korovina Gandy's Theorem for Abstract Structures without the Equality Test. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Fränzle , Christian Herde Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Boy de la Tour , Mnacho Echenim NP-Completeness Results for Deductive Problems on Stratified Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Dietrich Kuske Is Cantor's Theorem Automatic? [Citation Graph (0, 0)][DBLP ] Conf ] Markus Lohrey Automatic Structures of Bounded Degree. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Couvreur , Nasser Saheb , Grégoire Sutre An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Beierle , Gabriele Kern-Isberner A Logical Study on Qualitative Default Reasoning with Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Bruscoli , Alessio Guglielmi On Structuring Proof Search for First Order Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Furio Honsell , Marina Lenisa , Rekha Redamalla Strict Geometry of Interaction Graph Models. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Galmiche , J.-M. Notin Connection-Based Proof Construction in Non-commutative Logic. [Citation Graph (0, 0)][DBLP ] Conf ] 