Browse by Journal and Volume
 | Up a level |
Number of items: 3.
Kurucz, Agnes and Zakharyaschev, Michael and Wolter, F. (2002) Preface. [Editorial/Introduction]
Marx, M. and Mikulás, Szabolcs (2002) An elementary construction for a non-elementary procedure. Studia Logica 72 (2), pp. 253-263. ISSN 0039-3215.
Lutz, C. and Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2002) A tableau decision algorithm for modalized ALC with constant domains. Studia Logica 72 (2), pp. 199-232. ISSN 0039-3215.