Conservativity for a hierarchy of Euler and Venn reasoning systems
Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
研究成果: Conference article › 査読
6
被引用数
(Scopus)