SciDok

Ihr Suchergebnis

Ergebnis 1 - 7 von 7  1    Gehe zu Seite
von 1
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)
 
Ergebnis 1 - 7 von 7  1    Gehe zu Seite
von 1

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English