Expressive and efficient pattern languages for tree-structured data (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On monotone automata and monotone languages
Journal of Automata, Languages and Combinatorics
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Test Sets for the Universal and Existential Closure of Regular Tree Languages
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Varieties of tree languages definable by syntactic monoids
Acta Cybernetica
Positive varieties of tree languages
Theoretical Computer Science
Logical definability and query languages over ranked and unranked trees
ACM Transactions on Computational Logic (TOCL)
Fundamental study: Tree algebras and varieties of tree languages
Theoretical Computer Science
Polynomial time fragments of XPath with variables
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Fundamenta Informaticae
Effective characterizations of tree logics
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Games for Temporal Logics on Trees
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
DLT'03 Proceedings of the 7th international conference on Developments in language theory
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Finding your way in a forest: on different types of trees and their properties
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Fundamenta Informaticae
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.01 |