Publication
Detail
Publication date: 01/02/2006Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency
| URL | http://dx.doi.org/10.1016/j.tcs.2006.01.020 |
|---|---|
| Journal | Theoretical Computer Science |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 382 |
| Number | 2 |
| URL | http://dx.doi.org/10.1016/j.tcs.2006.01.020 |
| Journal | Theoretical Computer Science |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 382 |
| Number | 2 |