Automata on Series-Parallel Biposets
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Journal of Automata, Languages and Combinatorics
Algebraic recognizability of regular tree languages
Theoretical Computer Science - The art of theory
Varieties of tree languages definable by syntactic monoids
Acta Cybernetica
Positive varieties of tree languages
Theoretical Computer Science
Characterizing CTL-like logics on finite trees
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
Regular tree languages and quasi orders
Acta Cybernetica
Fundamental study: Tree algebras and varieties of tree languages
Theoretical Computer Science
Products of Tree Automata with an Application to Temporal Logic
Fundamenta Informaticae
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Fundamenta Informaticae
Games for Temporal Logics on Trees
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
M-solid varieties of languages
Acta Cybernetica
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Recognisability for algebras of infinite trees
Theoretical Computer Science
Products of Tree Automata with an Application to Temporal Logic
Fundamenta Informaticae
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Fundamenta Informaticae
Hi-index | 5.23 |