| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2007 | — | book |
Einführung in die theoretische Informatik - formale Sprachen und Automatentheorie (4. Aufl.).
|
| 2000 | — | book |
Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie
|
| 1992 | J | jnl |
Artif. Intell.
|
| 1990 | J | jnl |
An Order-Sorted Logic for Knowledge Representation Systems
IWBS Report
|
| 1990 | J | jnl |
Künstliche Intell.
|
| 1989 | J | jnl |
A Calculus for Order-Sorted Predicate Logic with Sort Literals
IWBS Report
|
| 1989 | — | conf |
Sorts and Types in Artificial Intelligence
|
| 1989 | J | jnl |
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information
IWBS Report
|
| 1989 | — | conf |
Natural Language and Logic
|
| 1989 | J | jnl |
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype
IWBS Report
|
| 1989 | — | conf |
GWAI
|
| 1989 | — | ed. |
|
| 1988 | J | jnl |
Resolution with Feature Unification
LILOG-Report
|
| 1987 | B | conf |
CSL
|
| 1985 | — | — |
|
| 1983 | — | conf |
Logic and Machines
|