TY  - BOOK
A1  - Schaub, Torsten H.
T1  - The automation of reasoning with incomplete information : from semantic foundations to efficient computation
T3  - Lecture notes in computer science
Y1  - 1999
SN  - 3-540-64515-2
U6  - https://doi.org/10.1007/BFb0054963
VL  - 1409
PB  - Springer
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Staiger, Ludwig
T1  - Finite automata : encoding geometric figures
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 07
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Katsura, M.
A1  - Konstantinidis, Stavros
T1  - Maximal solid codes
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 03
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Kari, L.
A1  - Thierrin, G.
T1  - Morphisms preserving densities
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 09
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Brzozowski, J. A.
A1  - Jürgensen, Helmut
T1  - Semilattices of fault semiautomata
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 02
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Boldt, Oliver
ED  - Jürgensen, Helmut
ED  - Robbins, L. E.
T1  - Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 4
PB  - Univ.
CY  - Potsdam
ER  -