Travelled to:1 × Germany
1 × Russia
1 × Spain
1 × United Kingdom
Collaborated with:V.Diekert A.Yakaryilmaz B.Borchert H.Fernau L.Staiger E.Ochmanski M.Kufleitner T.Walter
Talks about:determinist (2) languag (2) result (2) decid (2) new (2) congruenti (1) confluent (1) recogniz (1) properti (1) regular (1)
Person: Klaus Reinhardt
DBLP: Reinhardt:Klaus
Contributed to:
2014
2012
200719991991Wrote 5 papers:
- DLT-2014-ReinhardtY
- The Minimum Amount of Useful Space: New Results and New Directions (KR, AY), pp. 315–326.
- ICALP-v2-2012-DiekertKRW #regular expression
- Regular Languages Are Church-Rosser Congruential (VD, MK, KR, TW), pp. 177–188.
- LATA-2007-BorchertR
- Deterministically and Sudoku-Deterministically Recognizable Picture Languages (BB, KR), pp. 175–186.
- DLT-1999-FernauR #decidability
- Decidability of code properties (HF, KR, LS), pp. 153–163.
- ICALP-1991-DiekertOR #complexity #confluence #decidability #on the
- On Confluent Semi-Commutations — Decidability and Complexity Results (VD, EO, KR), pp. 229–241.