A compiler for nondeterministic term rewriting systems

DOI10.1007/3-540-61464-8_50zbMath1503.68166OpenAlexW1566084073MaRDI QIDQ5055858

Marian Vittek

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61464-8_50

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)

Related Items

Rewriting logic: Roadmap and bibliography ⋮ The Maude strategy language ⋮ An Account of Implementing Applicative Term Rewriting

Cites Work

• Programming languages and system architectures. International conference, Zurich, Switzerland, March 2-4, 1994. Proceedings
• Pattern Matching in Trees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item