| Publication | Date of Publication | Type |
|---|
Dynamically-typed computations for order-sorted equational presentations
Automata, Languages and Programming | 2019-04-29 | Paper |
| scientific article; zbMATH DE number 7015114 (Why is no real title available?) | 2019-02-07 | Paper |
Toward the concurrent implementation of computational systems
Algebraic and Logic Programming | 2017-01-19 | Paper |
Pure patterns type systems
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
International Journal of Foundations of Computer Science | 2015-04-30 | Paper |
Towards a sharing strategy for the graph rewriting calculus
Electronic Notes in Theoretical Computer Science | 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
Programming Logics | 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
Theoretical Computer Science | 2010-08-24 | Paper |
Anti-patterns for rule-based languages
Journal of Symbolic Computation | 2010-05-05 | Paper |
Constraint based strategies
Functional and Constraint Logic Programming | 2010-04-27 | Paper |
Proof search and proof check for equational and inductive theorems.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Regaining cut admissibility in deduction modulo using abstract completion
Information and Computation | 2010-02-26 | Paper |
Inductive proof search modulo
Annals of Mathematics and Artificial Intelligence | 2009-11-16 | Paper |
Formal Islands
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Superdeduction at Work
Rewriting, Computation and Proof | 2009-03-06 | Paper |
Anti-pattern Matching Modulo
Language and Automata Theory and Applications | 2008-11-20 | Paper |
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Cut Elimination in Deduction Modulo by Abstract Completion
Logical Foundations of Computer Science | 2008-01-04 | Paper |
A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science | 2007-09-26 | Paper |
The Rewriting Calculus as a Combinatory Reduction System
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Completion Is an Instance of Abstract Canonical System Inference
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Anti-pattern Matching
Programming Languages and Systems | 2007-09-04 | Paper |
A \(\rho\)-calculus of explicit constraint application
Higher-Order and Symbolic Computation | 2007-05-21 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Expressing combinatory reduction systems derivations in the rewriting calculus
Higher-Order and Symbolic Computation | 2007-01-05 | Paper |
Abstract canonical presentations
Theoretical Computer Science | 2006-08-16 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2090065 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090032 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090077 (Why is no real title available?) | 2004-08-12 | Paper |
Theorem proving modulo
Journal of Automated Reasoning | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1980922 (Why is no real title available?) | 2003-09-15 | Paper |
External rewriting for skeptical proof assistants
Journal of Automated Reasoning | 2003-04-27 | Paper |
Higher order unification via explicit substitutions
Information and Computation | 2003-01-14 | Paper |
ELAN from a rewriting logic point of view
Theoretical Computer Science | 2002-08-13 | Paper |
The rewriting calculus. II
Logic Journal of the IGPL | 2002-06-06 | Paper |
The rewriting calculus. I
Logic Journal of the IGPL | 2002-06-06 | Paper |
| Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN | 2002-04-03 | Paper |
| scientific article; zbMATH DE number 1722700 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1701351 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1688810 (Why is no real title available?) | 2002-01-09 | Paper |
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic
MSCS. Mathematical Structures in Computer Science | 2001-11-13 | Paper |
Generating feasible schedules for a pick-up and delivery problem
Electronic Notes in Discrete Mathematics | 2001-09-23 | Paper |
| The simply typed rewriting calculus | 2001-05-07 | Paper |
Dynamically typed computations for order-sorted equational presentations
Journal of Symbolic Computation | 2000-06-27 | Paper |
| scientific article; zbMATH DE number 1405633 (Why is no real title available?) | 2000-04-25 | Paper |
A methodological view of constraint solving
Constraints | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1337859 (Why is no real title available?) | 1999-09-16 | Paper |
| scientific article; zbMATH DE number 1231673 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231535 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1231542 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1088023 (Why is no real title available?) | 1997-11-17 | Paper |
AC-unification race: The system solving approach, implementation and benchmarks
Journal of Symbolic Computation | 1993-01-16 | Paper |
Programming with equalities, subsorts, overloading, and parametrization in OBJ
The Journal of Logic Programming | 1992-08-13 | Paper |
Completion for unification
Theoretical Computer Science | 1992-06-26 | Paper |
Equational completion in order-sorted algebras
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4164121 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4060701 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4090765 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4056995 (Why is no real title available?) | 1988-01-01 | Paper |
REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
Science of Computer Programming | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043232 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3921947 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3871334 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3817070 (Why is no real title available?) | 1983-01-01 | Paper |
