skip to main content
Idioma:

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

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

  • Título:
    The decidability of a fragment of BB'IW-logic
  • Autor: Sabine Broda
  • Luís Damas 1951-; Marcelo Finger; Paulo J. S Silva
  • Assuntos: LÓGICA MATEMÁTICA
  • É parte de: Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004
  • Notas: Disponível em: https://doi.org/10.1016/j.tcs.2004.02.002. Acesso em: 14 maio 2020
  • Editor: Amsterdam
  • Data de criação/publicação: 2004
  • Formato: p. 373-408.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  5 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.