|
1 |
A complete axiomatization of a theory with feature and arity constraints Backofen, Rolf. - Kaiserslautern : DFKI, 1994
|
|
|
2 |
How to win a game with features Backofen, Rolf. - Kaiserslautern : DFKI, 1994
|
|
|
3 |
Regular path expressions in feature logic Backofen, Rolf. - Kaiserslautern : DFKI, 1993
|
|
|
4 |
A complete and recursive feature theory Backofen, Rolf. - Kaiserslautern : DFKI, 1992
|
|
|
5 |
Linking typed feature formalisms and terminological knowledge representation languages in natural language front ends Backofen, Rolf. - Kaiserslautern : DFKI, 1991
|
|
|
6 |
Towards the integration of functions, relations and types in an AI programming language Backofen, Rolf. - Kaiserslautern : DFKI, 1991
|
|