Detail

Publication date: 01/01/2006

An Observational Model for Spatial Logics

Authors

Emilio Tuosto, Hugo Torres Vieira,

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