| Publication | Date of Publication | Type |
|---|
| Dynamically-typed computations for order-sorted equational presentations | 2019-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619820 | 2019-02-07 | Paper |
| Toward the concurrent implementation of computational systems | 2017-01-19 | Paper |
| Pure patterns type systems | 2015-09-11 | Paper |
| REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS | 2015-04-30 | Paper |
| Towards a sharing strategy for the graph rewriting calculus | 2014-01-24 | Paper |
| Rewriting calculus with(out) types | 2013-10-02 | Paper |
| A rewriting calculus for cyclic higher-order term graphs | 2013-09-25 | Paper |
| A \(\rho\)-calculus of explicit constraint application | 2013-09-20 | Paper |
| Strategic rewriting | 2013-09-20 | Paper |
| Rewrite strategies in the rewriting calculus | 2013-08-27 | Paper |
| Narrowing based inductive proof search | 2013-04-19 | Paper |
| Formal validation of pattern matching code | 2012-09-28 | Paper |
| Strategic computation and deduction | 2011-03-30 | Paper |
| On the confluence of lambda-calculus with conditional rewriting | 2010-08-24 | Paper |
| Anti-patterns for rule-based languages | 2010-05-05 | Paper |
| Constraint based strategies | 2010-04-27 | Paper |
| Proof search and proof check for equational and inductive theorems. | 2010-04-20 | Paper |
| Regaining cut admissibility in deduction modulo using abstract completion | 2010-02-26 | Paper |
| Inductive proof search modulo | 2009-11-16 | Paper |
| Formal Islands | 2009-04-28 | Paper |
| Superdeduction at Work | 2009-03-06 | Paper |
| Anti-pattern Matching Modulo | 2008-11-20 | Paper |
| SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets | 2008-06-19 | Paper |
| Cut Elimination in Deduction Modulo by Abstract Completion | 2008-01-04 | Paper |
| A rewriting calculus for cyclic higher-order term graphs | 2007-09-26 | Paper |
| The Rewriting Calculus as a Combinatory Reduction System | 2007-09-07 | Paper |
| Completion Is an Instance of Abstract Canonical System Inference | 2007-09-07 | Paper |
| Anti-pattern Matching | 2007-09-04 | Paper |
| A \(\rho\)-calculus of explicit constraint application | 2007-05-21 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Expressing combinatory reduction systems derivations in the rewriting calculus | 2007-01-05 | Paper |
| Abstract canonical presentations | 2006-08-16 | Paper |
| Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808738 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808699 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808751 | 2004-08-12 | Paper |
| Theorem proving modulo | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428296 | 2003-09-15 | Paper |
| External rewriting for skeptical proof assistants | 2003-04-27 | Paper |
| Higher order unification via explicit substitutions | 2003-01-14 | Paper |
| ELAN from a rewriting logic point of view | 2002-08-13 | Paper |
| The rewriting calculus. II | 2002-06-06 | Paper |
| The rewriting calculus. I | 2002-06-06 | Paper |
| Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN | 2002-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778872 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769430 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762629 | 2002-01-09 | Paper |
| HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic | 2001-11-13 | Paper |
| Generating feasible schedules for a pick-up and delivery problem | 2001-09-23 | Paper |
| The simply typed rewriting calculus | 2001-05-07 | Paper |
| Dynamically typed computations for order-sorted equational presentations | 2000-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938612 | 2000-04-25 | Paper |
| A methodological view of constraint solving | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264199 | 1999-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223001 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222851 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222858 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364370 | 1997-11-17 | Paper |
| AC-unification race: The system solving approach, implementation and benchmarks | 1993-01-16 | Paper |
| Programming with equalities, subsorts, overloading, and parametrization in OBJ | 1992-08-13 | Paper |
| Completion for unification | 1992-06-26 | Paper |
| Equational completion in order-sorted algebras | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490927 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795207 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817573 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792234 | 1988-01-01 | Paper |
| REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780426 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696486 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3338225 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664457 | 1983-01-01 | Paper |
