Approximations of Modal Logic K
Guilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)
Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006
Amsterdam Elsevier 2006
Localização:
IME - Inst. Matemática e Estatística
(PROD-3009534 )(Acessar)