Automating confluence check of term rewriting systems

Junichi Yoshida, Takahito Aoto, Yoshihito Toyama

研究成果: Article査読

3 被引用数 (Scopus)

フィンガープリント

「Automating confluence check of term rewriting systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Computer Science

Engineering

Mathematics

Agricultural and Biological Sciences

Material Science