共 50 条
- [43] Two-Way Cost Automata and Cost Logics over Infinite Trees PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
- [46] AUTOMATA ON INFINITE WORDS INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 491 - 492
- [49] INFERENCE OF TREE AUTOMATA FROM SAMPLE SET OF TREES INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1984, 13 (03): : 177 - 196