共 50 条
- [3] Ehrenfeucht games, the composition method, and the monadic theory of ordinal words STRUCTURES IN LOGIC AND COMPUTER SCIENCE, 1997, 1261 : 118 - 143
- [10] Ehrenfeucht games and paraconsistent annotated logics 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XII, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS: II, 2003, : 224 - 228