Abstract
R. Mardare, A. Policriti. A Complete Axiomatic System for Process-based Spatial Logic. In Proc. of 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, Lecture Notes in Computer Science 5168:491-502, Springer
| Originalsprog | Engelsk |
|---|---|
| Bogserie | Lecture Notes in Computer Science |
| Sider (fra-til) | 491 |
| Antal sider | 502 |
| ISSN | 0302-9743 |
| Status | Udgivet - 2008 |