| Publication | Date of Publication | Type |
|---|
| Simultaneous rigid E-unification is undecidable | 2024-06-21 | Paper |
Consistency and semantics of equational definitions over predefined algebras
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
What you always wanted to know about rigid \(E\)-unification
Logics in Artificial Intelligence | 2019-10-08 | Paper |
Access control and obligations in the category-based metamodel: a rewrite-based semantics
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
On Arbitrary Selection Strategies for Basic Superposition
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Regular Derivations in Basic Superposition-Based Calculi
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| scientific article; zbMATH DE number 2079533 (Why is no real title available?) | 2004-07-28 | Paper |
Stratified resolution
Journal of Symbolic Computation | 2003-08-25 | Paper |
| On nature and structure of atmospheric circulation anomalies in opposite seasons | 2003-01-01 | Paper |
| The inverse method | 2002-08-27 | Paper |
| Equality reasoning in sequent-based calculi | 2002-07-25 | Paper |
| On the EA-style integrated processing of self-contained mathematical texts | 2001-10-21 | Paper |
| scientific article; zbMATH DE number 1614708 (Why is no real title available?) | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1860670 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1405443 (Why is no real title available?) | 2000-06-22 | Paper |
What you always wanted to know about rigid \(E\)-unification
Journal of Automated Reasoning | 1998-08-30 | Paper |
| scientific article; zbMATH DE number 1189065 (Why is no real title available?) | 1998-08-13 | Paper |
A note on semantics of logic programs with equality based on complete sets of E-unifiers
The Journal of Logic Programming | 1997-11-10 | Paper |
| scientific article; zbMATH DE number 1004365 (Why is no real title available?) | 1997-04-27 | Paper |
The undecidability of simultaneous rigid E-unification
Theoretical Computer Science | 1997-02-27 | Paper |
Automatic theorem proving. II
Cybernetics | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4045220 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4045221 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3837990 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3426899 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3420281 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3390256 (Why is no real title available?) | 1972-01-01 | Paper |
