共 50 条
- [21] Abstract Interpretation from Buchi Automata 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,
- [23] Operations on Unambiguous Finite Automata (Extended Abstract) DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, 2022, 13439 : XV - XXV
- [24] Selected Topics in Weighted Tree Automata Abstract INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 16 - 17
- [25] A note on abstract interpretation strategies for hybrid automata HYBRID SYSTEMS II, 1995, 999 : 252 - 264
- [26] Abstract neural automata on compact Riemannian manifold KYBERNETES, 2003, 32 (9-10) : 1540 - 1548