Bi-rewrite systems

DOI10.1006/JSCO.1996.0053MaRDI QIDQ674746zbMATH OpenOpenAlexFDO

Authors Jordi Levy, Jaume Agustí

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)

Recommendations

• Bi-rewriting, a term rewriting technique for monotonic order relations
• Structures for abstract rewriting
• Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
• Ordered rewriting and confluence
• Computing with rewrite systems

Cited in

(8)

• Abstract abstract reduction
• Structures for abstract rewriting
• On rewrite constraints and context unification
• Knuth-Bendix completion for non-symmetric transitive relations
• scientific article; zbMATH DE number 5172485 (Why is no real title available?)
• Bi-rewriting, a term rewriting technique for monotonic order relations
• Some general results about proof normalization
• Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I

This page was built for publication: Bi-rewrite systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674746)