Text languages in an algebraic framework

Automata on Series-Parallel Biposets

DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory

Regular binoid expressions and regular binoid languages

Theoretical Computer Science

Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids

Theoretical Computer Science

Higher dimensional automata

Journal of Automata, Languages and Combinatorics

Axiomatizing the identities of binoid languages

Theoretical Computer Science

Automata on infinite biposets

Acta Cybernetica

Note: Existential MSO over two successors is strictly weaker than over linear orders

Theoretical Computer Science

Definable transductions and weighted logics for texts

Theoretical Computer Science

Definable transductions and weighted logics for texts

DLT'07 Proceedings of the 11th international conference on Developments in language theory