BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Number of items: 4.

    Article

    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.

    Book Section

    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.

    Sturm, H. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2000) Semi-qualitative reasoning about distances: a preliminary report. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Pereira, L.M. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 37-56. ISBN 9783540411314.

    Book

    Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael, eds. (2003) Advances in modal logic 4: papers from the fourth conference on advances in modal logic. King's College Publications. ISBN 9780954300629.

    This list was generated on Fri Mar 1 05:10:12 2024 GMT.