Publication
Detail
Publication date: 01/01/2006An Observational Model for Spatial Logics
URL | http://www-ctp.di.fct.unl.pt/~htv/pub/obsmodel.pdf |
---|---|
Journal | Electronic Notes in Theoretical Computer Science |
Publisher | Universitat Politècnica de Catalunya |
Volume | 142 |
URL | http://www-ctp.di.fct.unl.pt/~htv/pub/obsmodel.pdf |
Journal | Electronic Notes in Theoretical Computer Science |
Publisher | Universitat Politècnica de Catalunya |
Volume | 142 |