Searching for "Term Rewriting Systems and Algebra." – sorted by Relevance.
-
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

