Caires, Luís, & Lozes, Etienne. (2019). Elimination of quantifiers and undecidability in spatial logics for concurrency.
Citação do estilo Chicago (17ª ed.)Caires, Luís, e Lozes, Etienne. Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. 2019.
Citação MLA (8ª ed.)Caires, Luís, e Lozes, Etienne. Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. 2019.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.