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

    Article

    Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2013) Topological logics with connectedness over Euclidean spaces. ACM Transactions on Computational Logic 14 (2), p. 13. ISSN 1529-3785.

    Book Section

    Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2011) On the decidability of connectedness constraints in 2D and 3D Euclidean spaces. In: Walsh, T. (ed.) Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 957-962. ISBN 9781577355120.

    This list was generated on Thu Mar 28 06:13:45 2024 GMT.