Ulrich Hedtstück

According to our database1, Ulrich Hedtstück authored at least 15 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

1992
An Order-Sorted Logic for Knowledge Representation Systems.
Artif. Intell., 1992

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

Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme".
KI, 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

A Calculus for Order-Sorted Predicate Logic with Sort Literals.
Proceedings of the Sorts and Types in Artificial Intelligence, 1989

Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype.
Proceedings of the GWAI-89, 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

1987
Resolution with Feature Unification.
Proceedings of the CSL '87, 1987

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...