Sciweavers

CONCUR
2004
Springer

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

14 years 2 months ago
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency
Luís Caires, Étienne Lozes
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where CONCUR
Authors Luís Caires, Étienne Lozes
Comments (0)