Elimination of quantifiers and undecidability in spatial...

Theoretical Computer Science 2006 Vol. 358; Iss. 2-3

Elimination of quantifiers and undecidability in spatial logics for concurrency

Luís Caires, Etienne Lozes
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
358
Year:
2006
Language:
english
Pages:
22
DOI:
10.1016/j.tcs.2006.01.020
File:
PDF, 395 KB
english, 2006
Conversion to is in progress
Conversion to is failed