Voltar
Capítulo de livro Revisado por pares
BIBTEX RIS

Using determinancy of games to eliminate quantifiers

1977; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-08442-8_104

ISSN

1611-3349

Autores

J Büchi,

Tópico(s)

Computability, Logic, AI Algorithms

Referência(s)