Confluence of conditional rewrite systems

Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar

研究成果: Conference contribution

46 被引用数 (Scopus)

フィンガープリント

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

Engineering & Materials Science

Mathematics