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

    Book Section

    Konev, B. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2006) Dynamic topological logics over spaces with continuous functions. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6: Papers from the sixth conference on Advances in Modal Logic. College Publications, pp. 299-318.

    Hodkinson, I.M. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2003) On the computational complexity of decidable fragments of first-order linear temporal logics. In: UNSPECIFIED (ed.) 10th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 91-98. ISBN 0769519121.

    Conference or Workshop Item

    Hodkinson, I.M. and Mikulas, Szabolcs (1998) Colorful reducts. In: RelMiCS: 4th International Seminar, 1998, Warsaw, Poland. (Unpublished)

    This list was generated on Mon Sep 27 06:20:16 2021 BST.