ELAN
Authors:
- Peter BorovanskýPBPeter Borovanský
- Hélène KirchnerHKHélène Kirchner
Open Access
- 1 January 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 35-50
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Prototyping combination of unification algorithms with the ELAN rule-based programming languageLecture Notes in Computer Science, 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 systems1996
- Solving Binary CSP Using Computational SystemsElectronic Notes in Theoretical Computer Science, 1996
- Concurrent garbage collection for concurrent rewriting1995
- 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 31988