| 1. |
Backofen, Rolf ; Rogers, James ; Vijay-Shanker, K.
(1995)
A first-order axiomatization of the theory of finite trees
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 2. |
Backofen, Rolf
(1994)
A complete axiomatization of a theory with feature and arity constraints
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 3. |
Uszkoreit, Hans ; Backofen, Rolf ; Busemann, Stephan ; Diagne, Abdel Kader ; Hinkelman, Elizabeth A. ; Kasper, Walter ; Kiefer, Bernd ; Krieger, Hans-Ulrich ; Netter, Klaus ; Neumann, Günter ; Oepen, Stephan ; Spackman, Stephen P.
(1994)
DISCO - an HPSG-based NLP system and its application for appointment scheduling
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 4. |
Backofen, Rolf ; Treinen, Ralf
(1994)
How to win a game with features
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 5. |
Backofen, Rolf
(1993)
Regular path expressions in feature logic
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 6. |
Backofen, Rolf ; Smolka, Gert
(1992)
A complete and recursive feature theory
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 7. |
Backofen, Rolf ; Trost, Harald ; Uszkoreit, Hans
(1991)
Linking typed feature formalisms and terminological knowledge representation languages in natural language front-ends
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
