Un método de Tableaux para la lógica dinámica proposicional
Éditorial: Universidade do Minho
Année de publication: 1987
Volumen: 3
Pages: 382-387
Congreso: Jornadas Luso-Espanholas de Matemática (12. 1987. Braga)
Type: Communication dans un congrès