Toward the concurrent implementation of computational systems
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Controlling Rewriting by RewritingElectronic Notes in Theoretical Computer Science, 1996
- Solving Binary CSP Using Computational SystemsElectronic Notes in Theoretical Computer Science, 1996
- ELANElectronic Notes in Theoretical Computer Science, 1996
- Combining Symbolic Constraint Solvers on Algebraic DomainsJournal of Symbolic Computation, 1994
- The integration of functions into logic programming: From theory to practiceThe Journal of Logic Programming, 1994
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Sequentiality in orthogonal term rewriting systemsJournal of Symbolic Computation, 1991
- A rationale for conditional equational programmingTheoretical Computer Science, 1990
- An abstract concurrent machine for rewritingPublished by Springer Nature ,1990
- Jungle evaluation for efficient term rewritingPublished by Springer Nature ,1988