| Publication | Date of Publication | Type |
|---|
Incompleteness of a first-order Gödel logic and some temporal logics of programs
| 2024-06-21 | Paper |
Schematic refutations of formula schemata
Journal of Automated Reasoning | 2021-11-23 | Paper |
An abstract form of the first epsilon theorem
Journal Of Logic And Computation | 2020-12-15 | Paper |
scientific article; zbMATH DE number 7178366 (Why is no real title available?)
| 2020-03-09 | Paper |
On the generation of quantified lemmas
Journal of Automated Reasoning | 2019-05-31 | Paper |
Extraction of expansion trees
Journal of Automated Reasoning | 2019-03-20 | Paper |
A note on the complexity of classical and intuitionistic proofs
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A sequent-calculus based formulation of the extended first epsilon theorem
| 2018-04-06 | Paper |
CERES for first-order schemata
Journal Of Logic And Computation | 2018-02-13 | Paper |
The problem of \(\Pi_{2}\)-cut-introduction
Theoretical Computer Science | 2017-11-16 | Paper |
Ceres in intuitionistic logic
Annals of Pure and Applied Logic | 2017-07-13 | Paper |
Schematic cut elimination and the ordered pigeonhole principle
Automated Reasoning | 2016-09-05 | Paper |
Cut-elimination and proof schemata
Logic, Language, and Computation | 2015-12-03 | Paper |
Cut-elimination: syntax and semantics
Studia Logica | 2015-02-27 | Paper |
Introducing quantified cuts in logic with equality
Automated Reasoning | 2014-09-26 | Paper |
Algorithmic introduction of quantified cuts
Theoretical Computer Science | 2014-08-27 | Paper |
Towards CERes in intuitionistic logic
| 2012-11-22 | Paper |
Towards Algorithmic Cut-Introduction
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
CERES in higher-order logic
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
Fast cut-elimination by CERES
| 2011-05-31 | Paper |
Strong splitting rules in automated theorem proving
Lecture Notes in Computer Science | 2011-04-16 | Paper |
Methods of cut-elimination
Trends in Logic -- Studia Logica Library | 2010-11-30 | Paper |
System Description: The Proof Transformation System CERES
Automated Reasoning | 2010-09-14 | Paper |
A Clausal Approach to Proof Analysis in Second-Order Logic
Logical Foundations of Computer Science | 2009-02-24 | Paper |
scientific article; zbMATH DE number 5504133 (Why is no real title available?)
| 2009-02-09 | Paper |
Herbrand Sequent Extraction
Lecture Notes in Computer Science | 2009-01-27 | Paper |
CERES: An analysis of Fürstenberg's proof of the infinity of primes
Theoretical Computer Science | 2008-09-16 | Paper |
Event-related outputs of computations in P systems
| 2008-06-18 | Paper |
Towards an algorithmic construction of cut-elimination procedures
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Proof Transformations and Structural Invariance
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Towards a clausal analysis of cut-elimination
Journal of Symbolic Computation | 2007-10-23 | Paper |
Proof Transformation by CERES
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
scientific article; zbMATH DE number 2222011 (Why is no real title available?)
| 2005-11-02 | Paper |
Automated model building
Applied Logic Series | 2005-08-11 | Paper |
scientific article; zbMATH DE number 2006630 (Why is no real title available?)
| 2003-11-23 | Paper |
Normal form transformations
| 2002-08-27 | Paper |
Resolution decision procedures
| 2001-10-21 | Paper |
scientific article; zbMATH DE number 1552519 (Why is no real title available?)
| 2001-07-03 | Paper |
Cut-elimination and redundancy-elimination by resolution
Journal of Symbolic Computation | 2001-03-19 | Paper |
scientific article; zbMATH DE number 1418449 (Why is no real title available?)
| 2001-03-19 | Paper |
scientific article; zbMATH DE number 1507182 (Why is no real title available?)
| 2000-09-14 | Paper |
Cut normal forms and proof complexity
Annals of Pure and Applied Logic | 2000-07-24 | Paper |
scientific article; zbMATH DE number 1354167 (Why is no real title available?)
| 1999-10-28 | Paper |
Decision procedures and model building in equational clause logic
Logic Journal of the IGPL | 1999-01-05 | Paper |
scientific article; zbMATH DE number 1086658 (Why is no real title available?)
| 1998-06-14 | Paper |
Completeness of a first-order temporal logic with time-gaps
Theoretical Computer Science | 1997-02-27 | Paper |
scientific article; zbMATH DE number 976360 (Why is no real title available?)
| 1997-02-05 | Paper |
scientific article; zbMATH DE number 837782 (Why is no real title available?)
| 1996-07-01 | Paper |
Hyperresolution and automated model building
Journal Of Logic And Computation | 1996-06-09 | Paper |
scientific article; zbMATH DE number 627412 (Why is no real title available?)
| 1994-08-31 | Paper |
scientific article; zbMATH DE number 440110 (Why is no real title available?)
| 1994-06-14 | Paper |
scientific article; zbMATH DE number 515732 (Why is no real title available?)
| 1994-06-02 | Paper |
Complexity of resolution proofs and function introduction
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
On Different Concepts of Resolution
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4114095 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4128784 (Why is no real title available?)
| 1988-01-01 | Paper |
On the efficiency of subsumption algorithms
Journal of the ACM | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3945370 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3959369 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3982555 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3948238 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3918355 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3933047 (Why is no real title available?)
| 1984-01-01 | Paper |
Decision-algorithms for the associativity of latin squares
International Journal of Computer Mathematics | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3862479 (Why is no real title available?)
| 1983-01-01 | Paper |
Fiducial intervals for the waiting time in batch and time-sharing systems
Computing | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3756463 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3710160 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3760146 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3609652 (Why is no real title available?)
| 1978-01-01 | Paper |
Herbrand's Theorem in Refutation Schemata
| N/A | Paper |
