BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: 2011 | June 2013
    Number of items: 2.

    2011

    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.

    June 2013

    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.

    This list was generated on Sun Nov 28 05:25:20 2021 GMT.