Weak Muller Acceptance Conditions for Tree Automata
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Decidability and Closure Properties of Equational Tree Languages
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Finite automata on timed ω-trees
Theoretical Computer Science
ACM Transactions on Computational Logic (TOCL)
Automata-theoretic decision of timed games
Theoretical Computer Science
Hi-index | 0.00 |