Bi-rewrite systems

DOI10.1006/JSCO.1996.0053zbMath0865.68070OpenAlexW2001146053MaRDI QIDQ674746

Jaume Agustí, Jordi Levy

Publication date: 23 June 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1e21512b11464b5713e041d2fd82b432a5b2f749

zbMATH Keywords

rule schemesbi-rewrite system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (6)

Structures for abstract rewriting ⋮ Some general results about proof normalization ⋮ Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I ⋮ Knuth-Bendix Completion for Non-Symmetric Transitive Relations ⋮ On rewrite constraints and context unification ⋮ Abstract abstract reduction

This page was built for publication: Bi-rewrite systems