Travelled to:1 × Canada
1 × Finland
1 × Iceland
1 × Switzerland
Collaborated with:∅ M.Lohrey N.Haubold
Talks about:word (3) weight (2) logic (2) group (2) transduct (1) conjugaci (1) automorph (1) isomorph (1) compress (1) regular (1)
Person: Christian Mathissen
DBLP: Mathissen:Christian
Contributed to:
2011
201020082007Wrote 4 papers:
- ICALP-v2-2011-LohreyM #morphism #word
- Isomorphism of Regular Trees and Words (ML, CM), pp. 210–221.
- DLT-2010-HauboldLM #graph #morphism #problem #word
- Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups (NH, ML, CM), pp. 218–230.
- ICALP-B-2008-Mathissen #algebra #logic #word
- Weighted Logics for Nested Words and Algebraic Formal Power Series (CM), pp. 221–232.
- DLT-2007-Matthissen #logic
- Definable Transductions and Weighted Logics for Texts (CM), pp. 324–336.