Term-rewriting systems with rule priorities
- 3 October 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 67 (2-3) , 283-301
- https://doi.org/10.1016/0304-3975(89)90006-6
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (H. Ehrig and B. Mahr)SIAM Review, 1987
- On the Church-Rosser property for the direct sum of term rewriting systemsJournal of the ACM, 1987
- Term rewriting systems with prioritiesPublished by Springer Nature ,1987
- Algebraic specifications of computable and semicomputable data typesTheoretical Computer Science, 1987
- Conditional rewrite rules: Confluence and terminationJournal of Computer and System Sciences, 1986
- Conditional rewrite rulesTheoretical Computer Science, 1984
- Algebraic specifications for parametrized data types with minimal parameter and target algebrasPublished by Springer Nature ,1982
- Computing in systems described by equations: M J O'Donnell, Springer-Verlag (1977) 111 pp, $8.30Computer-Aided Design, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955