Ulrich Hedtstück

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2000
Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie
Oldenbourg, ISBN: 3-486-25515-0, 2000

1990
An Order-Sorted Logic for Knowledge Representation Systems
IWBS Report, 1990

Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme".
Künstliche Intell., 1990

1989
A Calculus for Order-Sorted Predicate Logic with Sort Literals
IWBS Report, 1989

An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information
IWBS Report, 1989

Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype
IWBS Report, 1989

Knowledge Processing in the LILOG Project: From the first to the second Prototype.
Proceedings of the Natural Language and Logic, 1989

1988
Resolution with Feature Unification
LILOG-Report, 1988

1985
Über die Argumentkomplexität Boolescher Funktionen.
PhD thesis, 1985

1983
On the argument complexity of multiply transitive Boolean functions.
Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983


  Loading...