The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CADE"( http://dblp.L3S.de/Venues/CADE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cade

Publication years (Num. hits)
1980 (29) 1982 (24) 1984 (30) 1986 (73) 1988 (74) 1990 (75) 1992 (75) 1994 (74) 1996 (64) 1997 (45) 1998 (38) 1999 (41) 2000 (50) 2002 (41) 2003 (42) 2005 (34) 2007 (39) 2009 (36) 2011 (39) 2013 (34) 2015 (43) 2017 (35)
Publication types (Num. hits)
inproceedings(1013) proceedings(22)
Venues (Conferences, Journals, ...)
CADE(1035)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 160 occurrences of 115 keywords

Results
Found 1035 publication records. Showing 1035 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar Satisfiability Modulo Theories and Assignments. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gadi Tellez, James Brotherston Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Horbach, Marco Voigt, Christoph Weidenbach On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Petros Papapanagiotou, Jacques D. Fleuriot WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Brotherston, Nikos Gorogiannis, Max I. Kanovich Biabduction (and Related Problems) in Array Separation Logic. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simon Cruanes Satisfiability Modulo Bounded Checking. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Julian Nagele, Bertram Felgenhauer, Aart Middeldorp CSI: New Evidence - A Progress Report. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maximiliano Cristiá, Gianfranco Rossi A Decision Procedure for Restricted Intensional Sets. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhaowei Xu, Taolue Chen, Zhilin Wu Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martin Suda 0001 A Unifying Principle for Clause Elimination in First-Order Logic. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp Efficient Certified RAT Verification. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mnacho Echenim, Nicolas Peltier The Binomial Pricing Model in Finance: A Formalization in Isabelle. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett Relational Constraint Solving in SMT. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stephan Schulz 0001, Geoff Sutcliffe, Josef Urban, Adam Pease Detecting Inconsistencies in Large First-Order Knowledge Bases. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen Notions of Knowledge in Combinations of Theories Sharing Constructors. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grant Olney Passmore, Denis Ignatovich Formal Verification of Financial Algorithms. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yutaka Nagashima, Ramana Kumar A Proof Strategy Language and Proof Script Generation for Isabelle/HOL. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Teucke, Christoph Weidenbach Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada 0002 Certifying Safety and Termination Proofs for Integer Transition Systems. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Armin Biere Short Proofs Without New Variables. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Blanco, Zakaria Chihani, Dale Miller 0001 Translating Between Implicit and Explicit Versions of Proof. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Markus Bender, Viorica Sofronie-Stokkermans Decision Procedures for Theories of Sets with Measures. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christian Sternagel, Thomas Sternagel Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene Towards Logic-Based Verification of JavaScript Programs. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonardo de Moura (eds.) Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Gleiss, Laura Kovács, Martin Suda 0001 Splitting Proofs for Interpolation. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1June Andronick Reasoning About Concurrency in High-Assurance, High-Performance Software Systems. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ullrich Hustadt, Ana Ozaki, Clare Dixon Theorem Proving for Metric Temporal Logic over the Naturals. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Färber 0002, Cezary Kaliszyk, Josef Urban Monte Carlo Tableau Proof Search. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine Scalable Fine-Grained Proofs for Formula Processing. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Lammich Efficient Verified (UN)SAT Certificate Checking. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Florian Lonsing, Uwe Egly DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Gransden, Neil Walkinshaw, Rajeev Raman SEPIA: Search for Proofs Using Inferred Automata. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhe Hou, Rajeev Goré, Alwen Tiu Automated Theorem Proving for Assertions in Separation Logic with All Connectives. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grant Olney Passmore Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amélie David 0001 Deciding ATL*Satisfiability by Tableaux. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ashish Tiwari, Adrià Gascón, Bruno Dutertre Program Synthesis Using Dual Interpretation. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mnacho Echenim, Nicolas Peltier, Sophie Tourret Quantifier-Free Equational Logic and Prime Implicate Generation. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vijay D'Silva, Caterina Urban Abstract Interpretation as Automated Deduction. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giles Reger, Dmitry Tishkovsky, Andrei Voronkov Cooperating Proof Attempts. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001 SMTtoTPTP - A Converter for Theorem Proving Formats. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Richard Bubel, Reiner Hähnle KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler Expressing Symmetry Breaking in DRAT Proofs. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ursula Martin Stumbling Around in the Dark: Lessons from Everyday Mathematics. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta Automating Leibniz's Theory of Concepts. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomer Libal Regular Patterns in Second-Order Unification. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer The Lean Theorem Prover (System Description). Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Filip Maric, Predrag Janicic, Marko Malikovic Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Joseph Boudou Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David A. Plaisted History and Prospects for First-Order Automated Deduction. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Backeman, Philipp Rümmer Theorem Proving with Bounded Rigid E-Unification. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Stephan Schulz 0001, Josef Urban, Jirí Vyskocil System Description: E.T. 0.1. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lawrence C. Paulson A Formalisation of Finite Automata Using Hereditarily Finite Sets. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paula Chocron, Pascal Fontaine, Christophe Ringeissen A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Gorzny, Bruno Woltzenlogel Paleo Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Björn Pelzer, Claudia Schon Automated Reasoning in the Wild. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes Waldmann Termination Competition (termCOMP 2015). Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kailiang Ji CTL Model Checking in Deduction Modulo. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takahito Aoto 0001, Nao Hirokawa, Julian Nagele, Naoki Nishida 0001, Harald Zankl Confluence Competition 2015. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Jasmin Christian Blanchette A Decision Procedure for (Co)datatypes in SMT Solvers. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Joshua Bax, Uwe Waldmann Beagle - A Hierarchic Superposition Theorem Prover. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Bromberger, Thomas Sturm 0001, Christoph Weidenbach Linear Integer Arithmetic Revisited. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giles Reger, Martin Suda 0001, Andrei Voronkov Playing with AVATAR. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Haruhiko Sato, Sarah Winkler Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Salman Saghafi, Ryan Danas, Daniel J. Dougherty Exploring Theories with a Model-Finding Assistant. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kiraku Shintani, Nao Hirokawa CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada 0002 Reducing Relative Termination to Dependency Pair Problems. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1André Platzer A Uniform Substitution Calculus for Differential Dynamic Logic. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amy P. Felty, Aart Middeldorp (eds.) Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aleks Kissinger, Vladimir Zamdzhiev Quantomatic: A Proof Assistant for Diagrammatic Reasoning. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Brigitte Pientka, Andrew Cave Inductive Beluga: Programming Proofs. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Natarajan Shankar Automated Reasoning, Fast and Slow. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rajeev Goré, Jimmy Thomson An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Filliâtre One Logic to Use Them All. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte Solving Difference Constraints over Modular Arithmetic. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Andrei Paskevich TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker 0001 A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Noran Azmy, Christoph Weidenbach Computing Tiny Clause Normal Forms. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri Tractable Inference Systems: An Extension with a Deducibility Predicate. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark Barrett Quantifier Instantiation Techniques for Finite Model Finding in SMT. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen Hierarchical Combination. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marta Cialdea Mayer A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Reiner Hähnle, Ina Schaefer, Richard Bubel Reuse in Software Verification by Abstract Method Calls. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zakaria Chihani, Dale Miller 0001, Fabien Renaud Foundational Proof Certificates in First-Order Logic. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Daniel Bruns Dynamic Logic with Trace Semantics. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Josef Urban PRocH: Proof Reconstruction for HOL Light. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Krystof Hoder, Andrei Voronkov The 481 Ways to Split a Clause and Deal with Propositional Variables. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Rajeev Goré, Carsten Schürmann Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Uwe Waldmann Hierarchic Superposition with Weak Abstraction. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mark Kaminski, Tobias Tebbi InKreSAT: Modal Reasoning via Incremental Reduction to SAT. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Richard Williams, Boris Konev Propositional Temporal Proving with Reductions to a SAT Problem. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Marcel Lippmann Temporalizing Ontology-Based Data Access. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler Verifying Refutations with Extended Resolution. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1035 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license