Dominik J. Schoop

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Ian Pratt-Hartmann, Dominik J. Schoop
Elementary Polyhedral Mereotopology. J. Philos. Log. 31 (5) (2002)
Dominik J. Schoop
Points in point-free mereotopology. Fundam. Informaticae 46 (1-2) (2001)
Ian E. Pratt, Dominik J. Schoop
Expressivity in Polygonal, Plane Mereotopology. J. Symb. Log. 65 (2) (2000)
Ian E. Pratt, Dominik J. Schoop
A Complete Axiom System for Polygonal Mereotopology of the Real Plane. J. Philos. Log. 27 (6) (1998)