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 |
https://portal.mardi4nfdi.de/entity/Q2851046 | 2013-10-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q2848117 | 2013-09-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q2849580 | 2013-09-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q2849855 | 2013-09-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844065 | 2013-08-27 | Paper |
Narrowing Based Inductive Proof Search | 2013-04-19 | Paper |
Formal Validation of Pattern Matching code | 2012-09-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3086785 | 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 |
Automated Deduction – CADE-19 | 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 |
Completion Is an Instance of Abstract Canonical System Inference | 2007-09-07 | Paper |
The Rewriting Calculus as a Combinatory Reduction System | 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/Q4808699 | 2004-08-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4808738 | 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 - part I | 2002-06-06 | Paper |
The rewriting calculus - part II | 2002-06-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q2782483 | 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-λσ: 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 |
https://portal.mardi4nfdi.de/entity/Q2703689 | 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/Q3792234 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3795207 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3817573 | 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 |