Undecidability Results for Multi-Lane Spatial Logic.

Heinrich Ody

Browse the full ICTAC paper archive.