共 50 条
- [2] PROLOG INFINITE-TREES AND AUTOMATA RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (05): : 397 - 418
- [4] AUTOMATA ON INFINITE-TREES AND BORELIAN CHOICE COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1993, 316 (01): : 97 - 100