The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "J. Autom. Reasoning"( http://dblp.L3S.de/Venues/J._Autom._Reasoning )

URL (DBLP): http://dblp.uni-trier.de/db/journals/jar

Publication years (Num. hits)
1985 (25) 1986 (18) 1987 (20) 1988 (22) 1989 (27) 1990 (25) 1991 (31) 1992 (38) 1993 (39) 1994 (34) 1995 (27) 1996 (25) 1997 (41) 1998 (29) 1999 (30) 2000 (26) 2001 (31) 2002 (33) 2003 (29) 2004 (27) 2005 (32) 2006 (29) 2007 (32) 2008 (28) 2009 (27) 2010 (35) 2011 (32) 2012 (37) 2013 (37) 2014 (28) 2015 (30) 2016 (29) 2017 (35) 2018 (37) 2019 (20)
Publication types (Num. hits)
article(1045)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 406 occurrences of 247 keywords

Results
Found 1045 publication records. Showing 1045 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wenda Li, Grant Olney Passmore, Lawrence C. Paulson Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sylvain Boulmé, Alexandre Maréchal Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frédéric Besson, Sandrine Blazy, Pierre Wilke A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Lammich, S. Reza Sefidgar Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hing-Lun Chan, Michael Norrish Proof Pearl: Bounding Least Common Multiples with Triangles. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Lammich Refinement to Imperative HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ondrej Kuncar, Andrei Popescu 0001 A Consistent Foundation for Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mauro Ferrari, Camillo Fiorentini Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Grégoire, Adam Chlipala Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ondrej Kuncar, Andrei Popescu 0001 From Types to Sets by Local Type Definition in Higher-Order Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Filip Maric Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Leitsch, Anela Lolic Extraction of Expansion Trees. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arthur Charguéraud, François Pottier Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Nipkow, Hauke Brinkop Amortized Complexity Verified. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Stephan Merz Selected Extended Papers of ITP 2016: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel Verifying OpenJDK's Sort Method for Generic Collections. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xingyuan Zhang, Christian Urban Selected Extended Papers of ITP 2015: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fabian Immler, Christoph Traut The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote Formally Verified Approximations of Definite Integrals. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zoltan A. Kocsis, Jerry Swan Genetic Programming + Proof Search = Automatic Improvement. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Lochbihler Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeremy Avigad, Jasmin Christian Blanchette, Gerwin Klein, Lawrence C. Paulson, Andrei Popescu 0001, Gregor Snelting Introduction to Milestones in Interactive Theorem Proving. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lukasz Czajka 0001, Cezary Kaliszyk Hammer for Coq: Automation for Dependent Type Theory. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, César Sánchez Visibly Linear Temporal Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, Raúl Gutiérrez Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Matthias Dangl, Philipp Wendler A Unifying View on SMT-Based Software Verification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anders Schlichtkrull Formalization of the Resolution Calculus for First-Order Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Clochard, Léon Gondelman, Mário Pereira The Matrix Reproved (Verification Pearl). Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Maggesi A Formalization of Metric Spaces in HOL Light. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Doczkal, Gert Smolka Regular Language Representations in the Constructive Type Theory of Coq. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sandrine Blazy, Marsha Chechik Selected Extended Papers of VSTTE 2016. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu 0001, Franco Raimondi CoSMed: A Confidentiality-Verified Social Media Platform. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filipe Casal, João Rasga Many-Sorted Equivalence of Shiny and Strongly Polite Theories. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk Selected Extended Papers of NFM 2016: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cornelius Diekmann, Lars Hupel, Julius Michaelis, Maximilian P. L. Haslbeck, Georg Carle Verified iptables Firewall Analysis and Verification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Matentzoglu, Bijan Parsia, Uli Sattler OWL Reasoning: Subsumption Test Hardness and Modularity. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gang Tan, Greg Morrisett Bidirectional Grammars for Machine-Code Decoding and Encoding. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qinxiang Cao, Lennart Beringer, Samuel Gruetter, Josiah Dodds, Andrew W. Appel VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Abdulaziz, Michael Norrish, Charles Gretton Formally Verified Algorithms for Upper-Bounding State Space Diameters. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia Synthesis of Obfuscation Policies to Ensure Privacy and Utility. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hao Chen 0023, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu Toward Compositional Verification of Interruptible OS Kernels and Device Drivers. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Slaney, Bruno Woltzenlogel Paleo Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yves Bertot, Laurence Rideau, Laurent Théry Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eric Braude, Satbek Abdyldayev Generalizing Morley's and Other Theorems with Automated Realization. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Automated Verification of Functional Correctness of Race-Free GPU Programs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Slaney, Bruno Woltzenlogel Paleo Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julian Brunner, Peter Lammich Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabian Immler A Verified ODE Solver and the Lorenz Attractor. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ismail Ilkan Ceylan, Rafael Peñaloza The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp Formally Proving Size Optimality of Sorting Networks. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder Lower Bounds for Runtime Complexity of Term Rewriting. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann Analyzing Program Termination and Complexity Automatically with AProVE. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vijay D'Silva, Caterina Urban Abstract Interpretation as Automated Deduction. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Eberl Proving Divide and Conquer Complexities in Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremy Avigad, Johannes Hölzl, Luke Serafin A Formally Verified Proof of the Central Limit Theorem. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zakaria Chihani, Dale Miller 0001, Fabien Renaud A Semantic Framework for Proof Evidence. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moritz Sinn, Florian Zuleger, Helmut Veith Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel Soundness and Completeness Proofs by Coinductive Methods. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller The OWL Reasoner Evaluation (ORE) 2015 Competition Report. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Beeson, Larry Wos Finding Proofs in Tarskian Geometry. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Martina Seidl, Armin Biere Solution Validation and Extraction for QBF Preprocessing. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jesús Aransay, Jose Divasón A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret Higher-Order Pattern Anti-Unification in Linear Time. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond Type-Based Cost Analysis for Lazy Functional Languages. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Deepak Kapur, Christoph Weidenbach Preface - Special Issue of Selected Extended Papers of IJCAR 2014. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jürgen Giesl, Jan Hoffmann 0002 Preface: Special Issue on Automatic Resource Bound Analysis. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Walther, Nathan Wasser Fermat, Euler, Wilson - Three Case Studies in Number Theory. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1M. Ganesalingam, W. T. Gowers A Fully Automatic Theorem Prover with Human-Style Output. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Jasmin Christian Blanchette A Decision Procedure for (Co)datatypes in SMT Solvers. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maria Paola Bonacina, David A. Plaisted Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Pierre Marquis On Preprocessing Techniques and Their Impact on Propositional Model Counting. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1André Platzer A Complete Uniform Substitution Calculus for Differential Dynamic Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Hölzl Markov Chains and Markov Decision Processes in Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gabriel Braun, Julien Narboux A Synthetic Proof of Pappus' Theorem in Tarski's Geometry. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jie Zhou, Dingkang Wang, Yao Sun Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer An Approximation Framework for Solvers and Decision Procedures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amy P. Felty, Aart Middeldorp Preface: Selected Extended Papers of CADE 2015. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada 0002 Relative Termination via Dependency Pairs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban A Learning-Based Fact Selector for Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Doczkal, Gert Smolka Completeness and Decidability Results for CTL in Constructive Type Theory. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerwin Klein, Ruben Gamboa Interactive Theorem Proving - Preface of the Special Issue. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen Reasoning About Algebraic Data Types with Abstractions. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Proof Tree Preserving Tree Interpolation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Roux Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Timothy Bourke, Rob J. van Glabbeek, Peter Höfner Mechanizing a Process Algebra for Network Protocols. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nishant Totla, Thomas Wies Complete Instantiation-Based Interpolation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1045 (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