Searching for "Term Rewriting Systems and Algebra." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Type-checking Revisited: Modular Error-handling
- … of algebraic specifications is that they can be executed if they can be interpreted as term rewriting systems…
- Cited by 8 (5 self) – Add To MetaCart
-
A framework for polytypic programming on terms, with an application to rewriting
- … elsewhere. 1 Introduction A term rewriting system is an algebra (a datatype of terms) together with a set…
- Cited by 12 (7 self) – Add To MetaCart
-
A Framework for Polytypic Programming on Terms, With an Application to Rewriting
- … elsewhere. 1 Introduction A term rewriting system is an algebra (a datatype of terms) together with a set…
- Add To MetaCart
-
Term Graph Rewriting
- …-order term graphs 1.1.1 Term Rewriting Systems Algebraic specifications are a well-known topic in computer…
- Add To MetaCart
-
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
- … to derive superposition calculi systematically from convergent term rewriting systems for algebraic theories…
- Cited by 3 (2 self) – Add To MetaCart
-
Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents
- … algorithms master eqn. Markov chains Gillespie P systems grammars term rewriting systems algebraic phenotypic…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
