The following pages link to Christian Mathissen (Q837189):
Displaying 11 items.
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Isomorphism of regular trees and words (Q1951601) (← links)
- Compressed Membership in Automata with Compressed Labels (Q3007633) (← links)
- Isomorphism of Regular Trees and Words (Q3012921) (← links)
- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids (Q3098035) (← links)
- Weighted Logics for Nested Words and Algebraic Formal Power Series (Q3519504) (← links)
- Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups (Q3584895) (← links)
- COMPRESSED DECISION PROBLEMS FOR GRAPH PRODUCTS AND APPLICATIONS TO (OUTER) AUTOMORPHISM GROUPS (Q4904513) (← links)
- Weighted Logics for Nested Words and Algebraic Formal Power Series (Q5190325) (← links)
- Definable Transductions and Weighted Logics for Texts (Q5428243) (← links)
