| Publication | Date of Publication | Type |
|---|
Algebraic properties and transformations of monographs
Theoretical Computer Science | 2024-12-12 | Paper |
| Automated deduction | 2024-09-11 | Paper |
| Subsumptions of Algebraic Rewrite Rules | 2023-12-14 | Paper |
| Minimizing the number of clauses by renaming | 2023-04-28 | Paper |
Combining Parallel Graph Rewriting and Quotient Graphs
1517.68154 | 2022-12-22 | Paper |
| scientific article; zbMATH DE number 7456063 (Why is no real title available?) | 2022-01-12 | Paper |
scientific article; zbMATH DE number 7456063 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-12 | Paper |
| Parallel coherent graph transformations | 2021-10-27 | Paper |
| Monographs, a category of graph structures | 2021-10-27 | Paper |
Parallel rewriting of attributed graphs
Theoretical Computer Science | 2020-12-15 | Paper |
| Parallelism Theorem and Derived Rules for Parallel Coherent Transformations | 2019-07-08 | Paper |
Ground resolution with group computations on semantic symmetries
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Proof generalization in \(\mathrm {LK}\) by second order unifier minimization
Journal of Automated Reasoning | 2016-10-27 | Paper |
Analogy in automated deduction: a survey
Computational Approaches to Analogical Reasoning: Current Trends | 2016-07-18 | Paper |
| An isomorph-free SEM-like enumeration of models | 2013-09-25 | Paper |
On leaf permutative theories and occurrence permutation groups
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
| NP-completeness results for deductive problems on stratified terms | 2010-02-24 | Paper |
Unification and Matching Modulo Leaf-Permutative Equational Presentations
Automated Reasoning | 2008-11-27 | Paper |
Determining Unify-Stable Presentations
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Permutative rewriting and unification
Information and Computation | 2007-04-16 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
On the complexity of deduction modulo leaf permutative equations
Journal of Automated Reasoning | 2005-06-22 | Paper |
| scientific article; zbMATH DE number 2090299 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2079848 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1507184 (Why is no real title available?) | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1421057 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1324439 (Why is no real title available?) | 1999-08-16 | Paper |
An optimality result for clause form translation
Journal of Symbolic Computation | 1993-01-17 | Paper |
