Termination for the direct sum of left-linear term rewriting systems: Preliminary draft

Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt

研究成果: Conference contribution

47 被引用数 (Scopus)

フィンガープリント

「Termination for the direct sum of left-linear term rewriting systems: Preliminary draft」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Computer Science