A logical analysis on theory of conditional rewriting: Preliminary report
Mitsuhiro Okada
研究成果: Conference contribution
3
被引用数
(Scopus)