Simulation of SOS Definitions with Term Rewriting Systems
Abstract elided by the publisher.
Related papers
- On the Adequacy of Graph Rewriting for Simulating Term Rewriting TOPLAS 1994
- Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs CPP 2024
- Compiling language definitions: the ASF+SDF compiler TOPLAS 2002
- Termination of rewriting in the Calculus of Constructions JFP 2003
- Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems TOPLAS 1998
- A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL CPP 2019
- Higher-Order LCTRSs and Their Termination ESOP 2024
- Variable Elimination as Rewriting in a Linear Lambda Calculus ESOP 2025