skip to main content

The unrestricted combination of temporal logic systems

Marcelo Finger Maria Angela Weiss

Logic Journal of the IGPL Oxford v. 10, n. 2, p. 165-189, 2002

Oxford 2002

Localização: IME - Inst. Matemática e Estatística    (PROD-1263137 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.