ELAN
Open Access
- 1 January 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 35-50
- https://doi.org/10.1016/s1571-0661(04)00032-5
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Implementing parallel rewritingPublished by Springer Nature ,2005
- Prototyping combination of unification algorithms with the ELAN rule-based programming languagePublished by Springer Nature ,1997
- Controlling Rewriting by RewritingElectronic Notes in Theoretical Computer Science, 1996
- A reflective extension of ELANElectronic Notes in Theoretical Computer Science, 1996
- Input/Output for ELANElectronic Notes in Theoretical Computer Science, 1996
- Toward the concurrent implementation of computational systemsPublished by Springer Nature ,1996
- Solving Binary CSP Using Computational SystemsElectronic Notes in Theoretical Computer Science, 1996
- Combining Symbolic Constraint Solvers on Algebraic DomainsJournal of Symbolic Computation, 1994
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- An introduction to OBJ 3Published by Springer Nature ,1988