Confluence of conditional rewrite systems
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
研究成果: Conference contribution
46
被引用数
(Scopus)