U. Hedtstück, Simulation diskreter Prozesse, Springer - Vieweg, 2014.

U. Hedtstück, Einführung in die Theoretische Informatik, Formale Sprachen und Automatentheorie,
Oldenbourg Verlag, 5. Auflage, 2012.

K. H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.), Sorts and Types in Artificial Intelligence,
Lecture Notes in Artificial Intelligence 418, Springer-Verlag, Heidelberg, 1990.
 
 

WISSENSCHAFTLICHE PUBLIKATIONEN

F. W. Arndt, M. Busetti, U. Hedtstück, The Digital Factory - A new course for universitary education.
In: B. Zupancic, R. Karba, A. Blazic (eds.), Proceedings of the 6th EUROSIM Congress
on Modelling and Simulation, Ljubljana, 2007.

C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt, J. Siekmann, An Order-Sorted Predicate Logic
with Closely Coupled Taxonomic Information.
In: K. Meinke and J. V. Tucker (eds.) Many-sorted Logic and its Applications,
John Wiley and Sons, Chichester, England, 1993.

C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt, J. Siekmann, An Order-Sorted Logic
for Knowledge Representation Systems, Artificial Intelligence, 55 (1992) 149-191.

D. Grütz, U. Hedtstück, D. Senn, C. Traulsen, Wissensbasierte Analyse von Fachsprache-Texten,
Fachsprache, 14. Jahrg., Heft 3-4, 1992.

Ulrich Hedtstück, Peter H. Schmitt, A Calculus for Order-Sorted Predicate Logic with Sort Literals.
In K. H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.), Sorts and Types in Artificial Intelligence,
Lecture Notes in Artificial Intelligence 418, Springer-Verlag, Heidelberg, 1990, 61-72.

K. H. Bläsius, T. Bollinger, U. Hedtstück, Knowledge Processing in the LILOG Project
- From the first to the second Prototype.
In R. Studer (ed.), Natural Language and Logic, Symposium, Hamburg 1989,
Lecture Notes in Artificial Intelligence 459, Springer-Verlag, Heidelberg, 1990, 26-49.

U. Furbach, U. Hedtstück, W. Wernecke, Bericht über das 6. Jahrestreffen der GI-Fachgruppe
"Deduktionssysteme", KI 4(2) (1990) 21-23.

T. Bollinger, U. Hedtstück, C.-R. Rollinger, Reasoning in Text Understanding -
Knowledge Processing in the 1st LILOG-Prototype,
GWAI-89 13th German Workshop on Artificial Intelligence, Proceedings,
Informatik Fachberichte 216, Springer-Verlag, Heidelberg, 1989, 203-212.

K. H. Bläsius, U. Hedtstück, Resolution with Feature Unification.
In E. Börger, H. Kleine Büning, M. M. Richter (eds.), CSL '87,
Proc. of the 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987,
Lecture Notes in Computer Science 329, Springer-Verlag, Heidelberg, 1988, 17-26.

U. Hedtstück, Über die Argumentkomplexität Boolescher Funktionen.
Dissertation, Universität Stuttgart, 1985.

U.Hedtstück, On the argument complexity of multiply transitive Boolean functions.
In E. Börger, G. Hasenjaeger, D. Rödding (eds.), Logic and Machines: Decision Problems
and Complexity, Proc. of the Symp. Rekursive Kombinatorik, May 1983, Münster/Westfalen.
Lecture Notes in Computer Science 171, Springer-Verlag, Heidelberg, 1984, 390-396.
 
 

KURZBERICHTE

U. Hedtstück, Integration von Ereignisorientierter Simulation und Virtual Reality,
Abschlußbericht zu einem Forschungsprojekt im Rahmen des Grundausstattungsprogramms
"Informations- und Kommunikationssysteme, Multimedia" des Landes Baden-Württemberg,
Dez. 1998.

M. Grütz, U. Hedtstück, Profitieren Verkehrsteilnehmer von der
Blockabfertigung in Tunnels und auf Gebirgspässen? - Ein Tunnelsimulator,
fhk-Journal, Halbjahresschrift der Fachhochschule Konstanz, 2/1998.

U. Hedtstück, Stochastische Simulation in virtuellen Welten,
fhk-Journal, Halbjahresschrift der Fachhochschule Konstanz, 2/1998.

U. Hedtstück, Wieviele Probleme kann der Computer lösen?
fhk-Journal, Halbjahresschrift der Fachhochschule Konstanz, 2/1996.

---->  zurück