scientific article; zbMATH DE number 7359402

DOI10.4230/LIPIcs.FSCD.2018.6zbMath1462.68087MaRDI QIDQ4993332

Pierre Réty, Nirina Andrianarivelo

Publication date: 15 June 2021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

confluencecritical pairprefix-constrained term rewriting

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (1)

Applications and extensions of context-sensitive rewriting

Cites Work

• Controlled Term Rewriting
• Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Transformation techniques for context-sensitive rewrite systems
• Unnamed Item
• Unnamed Item

This page was built for publication: