Conferences in DBLP
Philippe de Groote A dynamic programming approach to categorial deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demri , Rajeev Goré Tractable Transformations from Modal Provability Logics into First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel Invited Talk: Decision procedures for guarded logics. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Tobies A PSpace Algorithm for Graded Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Schmidt-Schauß , Klaus U. Schulz Solvability of Context Equations with Two Context Variables is Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Wierzbicki Complexity of the higher order matching. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Pichler Solving Equational Problems Efficiently. [Citation Graph (0, 0)][DBLP ] Conf ] A. A. Adams , Hanne Gottliebsen , Steve Linton , Ursula Martin VSDITLU: a verifiable symbolic definite integral table look-up. [Citation Graph (0, 0)][DBLP ] Conf ] Predrag Janicic , Alan Bundy , Ian Green A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Horacek Presenting Proofs in a Human-Oriented Way. [Citation Graph (0, 0)][DBLP ] Conf ] Viorica Sofronie-Stokkermans On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. [Citation Graph (0, 0)][DBLP ] Conf ] Ullrich Hustadt , Renate A. Schmidt Maslov's Class K Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Areces , Hans de Nivelle , Maarten de Rijke Prefixed Resolution: A Resolution Method for Modal and Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning , Carsten Schürmann System Description: Twelf - A Meta-Logical Framework for Deductive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Autexier , Dieter Hutter , Heiko Mantel , Axel Schairer System Description: inka 5.0 - A Logic Voyager. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Alexander Leitsch , Georg Moser System Description: CutRes 0.1: Cut Elimination by Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Franke , Michael Kohlhase System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] E. Pascal Gribomont , Nachaat Salloum System Description: Using OBDD's for the validation of Skolem verification conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Jason Hickey Fault-Tolerant Distributed Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hillenbrand , Andreas Jaeger , Bernd Löchner System Description: Waldmeister - Improvements in Performance and Ease of Use. [Citation Graph (0, 0)][DBLP ] Conf ] Amy P. Felty , Douglas J. Howe , Abhik Roychoudhury Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Prost A formalization of Static Analyses in System F. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei N. Artëmov On Explicit Reflection in Theorem Proving and Formal Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Karsten Konrad , David A. Wolfram System Description: Kimba, A Model Generator for Many-Valued First-Order Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Gopalan Nadathur , Dustin J. Mitchell System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Riazanov , Andrei Voronkov Vampire. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Schulz System Abstract: E 0.3. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nieuwenhuis Invited Talk: Rewrite-based Deduction and Symbolic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Weidenbach Towards an Automatic Analysis of Security Protocols in First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner , Norbert Eisinger , Ulrich Furbach A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Fuchs , Dirk Fuchs Abstraction-Based Relevancy Testing for Model Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Bishop A Breadth-First Strategy for Mating Search. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter , Alan Bundy The Design of the CADE-16 Inductive Theorem Prover Contest. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Weidenbach System Description: Spass Version 1.0.0. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov KK: a theorem prover for K. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Whittle , Alan Bundy , Richard J. Boulton , Helen Lowe System Description: CyNTHIA. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Zhang System Description: MCS: Model-based Conjecture Searching. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Nipkow Invited Talk: Embedding Programming Languages in Theorem Provers (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Benzmüller Extensional Higher-Order Paramodulation and RUE-Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Raul H. C. Lopes Automatic Generation of Proof Search Strategies for Second-order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] 