articles
Detail
Publication date: 1 de June, 2021Publication Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency – Journal Theoretical Computer Science
| Journal | Theoretical Computer Science |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 382 |
| Number | 2 |
| Pub. Date | 01/02/2006 |