TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten H.
T1  - Avoiding non-ground variables
Y1  - 1999
SN  - 3-540-66131-x
ER  - 
TY  - JOUR
A1  - Benhammadi, Farid
A1  - Nicolas, Pascal
A1  - Schaub, Torsten H.
T1  - Query-answering in prioritized default logic
Y1  - 1999
SN  - 3-540-66131-X
ER  - 
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  - Pupka, Reiner
A1  - Bartl, Peter
A1  - Keller, Vera
A1  - Kupries, Mario
A1  - Reichel, Ingrid
A1  - Schmidt, Maren
A1  - Tiede, Gabriele
T1  - Abschlußbericht zum Verbundprojekt "Rechnergestützte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationssystemen"
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 01
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Schwill, Andreas
T1  - Informatik und Schule : fachspezifische und fachübergreifende didaktische Konzepte
Y1  - 1999
SN  - 3-540-66300-2
U6  - https://doi.org/10.1007/978-3-642-60238-2
PB  - Springer
CY  - Berlin, Heidelberg
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  - 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  - THES
A1  - Petrasch, Roland
T1  - Entwicklung von Modelltypen für das Qualitätsmanagement in der Software-Entwicklung am Beispiel von ausgewählten Qualitätssicherungsmaßnahmen
Y1  - 1999
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  - THES
A1  - Moschanin, Wladimir
T1  - Entwurf selbstdualer digitaler Schaltungen zur Fehlererkennung
Y1  - 1999
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Benhammadi, Farid
A1  - Nicolas, Pascal
A1  - Schaub, Torsten H.
T1  - Query-answering in prioritized default logic
Y1  - 1999
SN  - 3-540-66131-X
ER  - 
TY  - BOOK
A1  - Zendler, Andreas
T1  - Multiple einzelfallanalytische Versuchspläne der Biometrie zur Durchführung softwaretechnischer Experimente
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 11
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten H.
T1  - A voiding non-ground variables
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - On bottom-up pre-processing techniques for automated default reasoning
Y1  - 1999
SN  - 3-540-66131-x
ER  - 
TY  - JOUR
A1  - Seuring, Markus
T1  - Built-in self test mit multi-mode scannable memory elementen
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Neumann, I.
A1  - Stoffel, Dominik
A1  - Hartje, Hendrik
A1  - Kunz, Wolfgang
T1  - Cell replication and redundancy elimination during placement for cycle time optimization
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Kupries, Mario
T1  - Connector-aided coordination in agent systems
Y1  - 1999
ER  - 
TY  - BOOK
A1  - Schubert, Wolfgang
A1  - Koutzevlov, Atanas
A1  - Horn, Erika
A1  - Rätsch, Gunnar
A1  - Tschapek, Alexej
T1  - Aspekte der Flexibilisierung von Systemen für den Hardwaretest
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 04
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  -