Elimination of quantifiers and undecidability in spatial logics for concurrency

@article{Caires2006EliminationOQ,
  title={Elimination of quantifiers and undecidability in spatial logics for concurrency},
  author={Lu{\'i}s Caires and {\'E}tienne Lozes},
  journal={Theor. Comput. Sci.},
  year={2006},
  volume={358},
  pages={293-314}
}
Highly Cited
This paper has 34 citations. REVIEW CITATIONS