BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Reinhardt:Klaus

Contributed to:

DLT 20142014
ICALP (2) 20122012
LATA 20072007
DLT 19991999
ICALP 19911991

Wrote 5 papers:

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.