 | Up a level |
Number of items: 2.
ACM Transactions on Computational Logic
Kutz, O. and Wolter, F. and Sturm, H. and Suzuki, N.-Y. and Zakharyaschev, Michael (2003) Logics of metric spaces. ACM Transactions on Computational Logic 4 (2), pp. 260-294. ISSN 1529-3785.
Advances in Modal Logic 4: papers from the fourth conference on Advances in Modal logic
Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2002) Editorial preface. In: Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (eds.) Advances in Modal Logic. King's College Publications. ISBN 9780954300629.