MSO definable string transductions and two-way finite-state transducers
ACM Transactions on Computational Logic (TOCL)
Two-Way Finite State Transducers and Monadic Second-Order Logic
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications
Theoretical Computer Science
Normal forms for context-free node-rewriting hypergraph grammars
Mathematical Structures in Computer Science
Fusion in relational structures and the verification of monadic second-order properties
Mathematical Structures in Computer Science
Recognizability, hypergraph operations, and logical types
Information and Computation
Vertex-minors, monadic second-order logic, and a conjecture by Seese
Journal of Combinatorial Theory Series B
Weighted tree automata and weighted logics
Theoretical Computer Science
Counting truth assignments of formulas of bounded tree-width or clique-width
Discrete Applied Mathematics
The Structure of Level-k Phylogenetic Networks
CPM '09 Proceedings of the 20th Annual Symposium on Combinatorial Pattern Matching
Recognizability, hypergraph operations, and logical types
Information and Computation
On the structure of linear apex NLC graph grammars
Theoretical Computer Science
Hi-index | 0.00 |