Conferences in DBLP
Allen Van Gelder Independently Checkable Proofs from Decision Procedures: Issues and Progress. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Shuvendu K. Lahiri , Madanlal Musuvathi Zap: Automated Theorem Proving for Software Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nieuwenhuis , Albert Oliveras Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat Scaling Up: Computers vs. Common Sense. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Dal Palù , Agostino Dovier , Enrico Pontelli A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias M. Hölzl , John N. Crossley Disjunctive Constraint Lambda Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Yao Wu , Enrico Pontelli , Desh Ranjan Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Anger , Martin Gebser , Thomas Linke , André Neumann , Torsten Schaub The nomore++ Approach to Answer Set Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Gopalan Nadathur , Xiaochu Qi Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz The Four Sons of Penrose. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Montanari , Alberto Policriti , Nicola Vitacolonna An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckert , Kerry Trentelman Second-Order Principles in Specification Languages for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Dougherty , Silvia Ghilezan , Pierre Lescanne , Silvia Likavec Strong Normalization of the Dual Classical Sequent Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Salvador Lucas , José Meseguer Termination of Fair Computations in Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Jeroen Ketema , Jakob Grue Simonsen On Confluence of Infinitary Combinatory Reduction Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Temur Kutsia , Mircea Marin Matching with Regular Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Mirtha-Lina Fernández , Guillem Godoy , Albert Rubio Recursive Path Orderings Can Also Be Incremental. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Bezem , Thierry Coquand Automating Coherent Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Florina Piroi , Temur Kutsia The Theorema Environment for Interactive Proof Development. [Citation Graph (0, 0)][DBLP ] Conf ] Magnus Björk A First Order Extension of Stålmarck's Method. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Aleksic , Anatoli Degtyarev Regular Derivations in Basic Superposition-Based Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Wieslaw Szwast , Lidia Tendera On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. [Citation Graph (0, 0)][DBLP ] Conf ] Chao Wang , Franjo Ivancic , Malay K. Ganai , Aarti Gupta Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Hitoshi Ohsaki , Jean-Marc Talbot , Sophie Tison , Yves Roos Monotone AC-Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Elaine Pimentel , Dale Miller On the Specification of Sequent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Amine Chaieb , Tobias Nipkow Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Daum , Stefan Maus , Norbert Schirmer , M. Nassim Seghir Integration of a Software Model Checker into Isabelle. [Citation Graph (0, 0)][DBLP ] Conf ] Deian Tabakov , Moshe Y. Vardi Experimental Evaluation of Classical Automata Constructions. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Ahrendt , Andreas Roth , Ralf Sasse Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Walther , Stephan Schweitzer Reasoning About Incompletely Defined Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Calvin Kai Fan Tang , Eugenia Ternovska Model Checking Abstract State Machines with Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Galmiche , Daniel Méry Characterizing Provability in . [Citation Graph (0, 0)][DBLP ] Conf ] Harvey Tuch , Gerwin Klein A Unified Memory Model for Pointers. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Ferrara , Guoqiang Pan , Moshe Y. Vardi Treewidth in Verification: Local vs. Global. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Bozzelli , Aniello Murano , Adriano Peron Pushdown Module Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Jianjun Duan , Joe Hurd , Guodong Li , Scott Owens , Konrad Slind , Junxing Zhang Functional Correctness Proofs of Encryption Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Annabelle McIver , Tjark Weber Towards Automated Proof Support for Probabilistic Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin , Sebastian Mödersheim , Luca Viganò Algebraic Intruder Deductions. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten Mariën , Rudradeb Mitra , Marc Denecker , Maurice Bruynooghe Satisfiability Checking for PC(ID). [Citation Graph (0, 0)][DBLP ] Conf ] Allen Van Gelder Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Haiou Shen , Hantao Zhang Another Complete Local Search Method for SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvie Coste-Marquis , Caroline Devred , Pierre Marquis Inference from Controversial Arguments. [Citation Graph (0, 0)][DBLP ] Conf ] Mehdi Dastani , Guido Governatori , Antonino Rotolo , Leendert W. N. van der Torre Programming Cognitive Agents in Defeasible Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix , Wolfgang Faber , V. S. Subrahmanian The Relationship Between Reasoning About Privacy and Default Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail Sheremet , Dmitry Tishkovsky , Frank Wolter , Michael Zakharyaschev Comparative Similarity, Tree Automata, and Diophantine Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Giordano , Valentina Gliozzi , Nicola Olivetti , Gian Luca Pozzato Analytic Tableaux for KLM Preferential and Cumulative Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Larchey-Wendling Bounding Resource Consumption with Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Rosalie Iemhoff On Interpolation in Existence Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Christiansen , Davide Martinenghi Incremental Integrity Checking: Limitations and Possibilities. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Fritz Concepts of Automata Construction from LTL. [Citation Graph (0, 0)][DBLP ] Conf ] 