New directions in rewriting : (honoring the 60th birthday of Yoshihito Toyama )

Veröffentlicht 2012

Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables

von Kikuchi, Kentaro
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

Commutative Rational Term Rewriting

von Ishizuka, Mamoru
Veröffentlicht in LATA (15. : 2021 : Mailand) Language and automata theory and applications (2021)

A Proof Method for Local Sufficient Completeness of Term Rewriting Systems

von Shiraishi, Tomoki
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)