| |
| 1996 | ||
|---|---|---|
| 6 | EE | Erhard Diedrich, Richard Göbel: Aufbau des Satellitendaten-Informationssystems ISIS in einem evolutionären Entwicklungszyklus. EMISA 1996 |
| 1991 | ||
| 5 | Richard Göbel, Robert Rodosek: A Language for Representing Planning Problems. EWSP 1991: 64-77 | |
| 1987 | ||
| 4 | Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach: TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CTRS 1987: 245-248 | |
| 3 | Richard Göbel: Ground Confluence. RTA 1987: 156-167 | |
| 1985 | ||
| 2 | Richard Göbel: Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. GWAI 1985: 101-110 | |
| 1983 | ||
| 1 | Richard Göbel: Rewrite Rules with Conditions for Algebraic Specifications. ADT 1983 | |
| 1 | Jürgen Avenhaus | [4] |
| 2 | Erhard Diedrich | [6] |
| 3 | Bernhard Gramlich | [4] |
| 4 | Klaus Madlener | [4] |
| 5 | Robert Rodosek | [5] |
| 6 | Joachim Steinbach | [4] |