skip to main content
Idioma:
Tipo de recurso Ver resultados con: Ver resultados con: Sumario

The decidability of a fragment of BB'IW-logic

Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo J. S Silva

Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004

Amsterdam 2004

Disponible en IME - Inst. Matemática e Estatística    (PROD-1408041 )(Obténgalo)

Volver a la lista de resultados
Ir a la página anteriorAnterior Resultado  8 SiguienteIr a la siguiente página

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere