page 1  (53 pages)
2to next section

Deutsches
Forschungszentrum
f ?ur K ?unstliche
Intelligenz GmbH

Research
Report

RR-94-35

A Complete Axiomatization of a Theory with

Feature and Arity Constraints

Rolf Backofen

October 1994

Deutsches Forschungszentrum f ?ur K ?unstliche Intelligenz GmbH

Postfach 20 80
67608 Kaiserslautern, FRG
Tel.: + 49 (631) 205-3211
Fax: + 49 (631) 205-3210

Stuhlsatzenhausweg 3
66123 Saarbr?ucken, FRG
Tel.: + 49 (681) 302-5252
Fax: + 49 (681) 302-5341