The decidability of a fragment of BB'IW-logic
Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo José da Silva e Silva
Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004
Amsterdam 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-1408041 )(Acessar)