Étienne Lozes (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

7 Luís Caires, Étienne Lozes: Elimination of quantifiers and undecidability in spatial logics for concurrency. Theor. Comput. Sci. 358(2-3): 293-314 (2006)

4 Luís Caires, Étienne Lozes: Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR 2004: 240-257

Selection of 2 from 17 records - Étienne Lozes has 10 coauthors

7		Luís Caires, Étienne Lozes: Elimination of quantifiers and undecidability in spatial logics for concurrency. Theor. Comput. Sci. 358(2-3): 293-314 (2006)
4		Luís Caires, Étienne Lozes: Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR 2004: 240-257