Travelled to:
1 × Italy
Collaborated with:
∅
Talks about:
mereotopolog (1) undecid (1) polygon (1) plane (1)
Person: Christoph Dornheim
DBLP: Dornheim:Christoph
Contributed to:
Wrote 1 papers:
- KR-1998-Dornheim
- Undecidability of Plane Polygonal Mereotopology (CD), pp. 342–355.