| Publication | Date of Publication | Type |
|---|
| On restrictions of ordered paramodulation with simplification | 2023-04-28 | Paper |
Completion of first-order clauses with equality by strict superposition
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Termination proofs of well-moded logic programs via conditional rewrite systems
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Inductive theorem proving by consistency for first-order clauses
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Completion-time optimization of rewrite-time goal solving
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Buchberger's algorithm: a constraint-based completion procedure
Constraints in Computational Logics | 2022-08-16 | Paper |
Ordered chaining for total orderings
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
Soft typing for ordered resolution
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Theorem proving in cancellative abelian monoids (extended abstract)
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Automated complexity analysis based on ordered resolution
Journal of the ACM | 2015-09-20 | Paper |
RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION
International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
Superposition with equivalence reasoning and delayed clause normal form transformation.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Superposition modulo a Shostak theory.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Theory Instantiation
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Modular proof systems for partial functions with Evans equality
Information and Computation | 2006-10-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Superposition with equivalence reasoning and delayed clause normal form transformation
Information and Computation | 2005-08-05 | Paper |
Ordered chaining calculi for first-order theories of transitive relations
Journal of the ACM | 2005-01-25 | Paper |
| scientific article; zbMATH DE number 2102733 (Why is no real title available?) | 2004-09-24 | Paper |
Fast term indexing with coded context trees
Journal of Automated Reasoning | 2004-08-16 | Paper |
| scientific article; zbMATH DE number 2090311 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090529 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1988988 (Why is no real title available?) | 2003-10-20 | Paper |
| Resolution theorem proving | 2002-08-27 | Paper |
| scientific article; zbMATH DE number 1765673 (Why is no real title available?) | 2002-07-10 | Paper |
| scientific article; zbMATH DE number 1765697 (Why is no real title available?) | 2002-07-10 | Paper |
| scientific article; zbMATH DE number 1738300 (Why is no real title available?) | 2002-05-06 | Paper |
| scientific article; zbMATH DE number 1735878 (Why is no real title available?) | 2002-04-29 | Paper |
| scientific article; zbMATH DE number 1688812 (Why is no real title available?) | 2002-01-09 | Paper |
| scientific article; zbMATH DE number 1552532 (Why is no real title available?) | 2001-07-03 | Paper |
| scientific article; zbMATH DE number 1405649 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1302628 (Why is no real title available?) | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1303343 (Why is no real title available?) | 1999-11-07 | Paper |
| scientific article; zbMATH DE number 1303344 (Why is no real title available?) | 1999-09-15 | Paper |
| scientific article; zbMATH DE number 1324442 (Why is no real title available?) | 1999-08-16 | Paper |
| scientific article; zbMATH DE number 1300967 (Why is no real title available?) | 1999-07-29 | Paper |
Rewrite-based Equational Theorem Proving with Selection and Simplification
Journal Of Logic And Computation | 1994-09-12 | Paper |
Refutational theorem proving for hierarchic first-order theories
Applicable Algebra in Engineering, Communication and Computing | 1994-07-04 | Paper |
| scientific article; zbMATH DE number 517065 (Why is no real title available?) | 1994-04-17 | Paper |
Order-sorted completion: The many-sorted way
Theoretical Computer Science | 1992-06-26 | Paper |
A completion procedure for conditional equations
Journal of Symbolic Computation | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4078788 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4090770 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4090851 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3990847 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3938530 (Why is no real title available?) | 1986-01-01 | Paper |
Increasing modularity and language-independency in automatically generated compilers
Science of Computer Programming | 1983-01-01 | Paper |
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3808926 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3812943 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3817024 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825149 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3823109 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3793391 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3642745 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3642746 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3566109 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3514942 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3535609 (Why is no real title available?) | 1975-01-01 | Paper |
