Rationality in algebras with a series operation
Information and Computation
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Journal of Automata, Languages and Combinatorics
Algebraic recognizability of regular tree languages
Theoretical Computer Science - The art of theory
Recognizability, hypergraph operations, and logical types
Information and Computation
The recognizability of sets of graphs is a robust property
Theoretical Computer Science
Treewidth and logical definability of graph products
Theoretical Computer Science
Definable transductions and weighted logics for texts
Theoretical Computer Science
Recognizability, hypergraph operations, and logical types
Information and Computation
Some undecidability results related to the star problem in trace monoids
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Equational tree transformations
Theoretical Computer Science
Automata and logics for unranked and unordered trees
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Recognizable sets of graphs, hypergraphs and relational structures: a survey
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Equational weighted tree transformations with discounting
Algebraic Foundations in Computer Science
Hi-index | 5.23 |