Ulrich Hedtstück

According to our database, Ulrich Hedtstück authored at least 11 papers between 1983 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Einführung in die theoretische Informatik - formale Sprachen und Automatentheorie (4. Aufl.).

Ulrich Hedtstück

Oldenbourg, 2007

2000

Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie

Ulrich Hedtstück

Oldenbourg, ISBN: 3-486-25515-0, 2000

1990

An Order-Sorted Logic for Knowledge Representation Systems

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann

IWBS Report, 1990

Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme".

Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke

Künstliche Intell., 1990

1989

A Calculus for Order-Sorted Predicate Logic with Sort Literals

Ulrich Hedtstück, Peter H. Schmitt

IWBS Report, 1989

An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann

IWBS Report, 1989

Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype

Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger

IWBS Report, 1989

Knowledge Processing in the LILOG Project: From the first to the second Prototype.

Toni Bollinger, Karl-Hans Bläsius, Ulrich Hedtstück

Proceedings of the Natural Language and Logic, 1989

1988

Resolution with Feature Unification

Karl-Hans Bläsius, Ulrich Hedtstück

LILOG-Report, 1988

1985

Über die Argumentkomplexität Boolescher Funktionen.

Ulrich Hedtstück

PhD thesis, 1985

1983

On the argument complexity of multiply transitive Boolean functions.

Ulrich Hedtstück

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983