Publications

Displaying results 41 to 42 of 42.

Hubert Comon; Ralf Treinen

The First-Order Theory of Lexicographic Path Orderings is Undecidable

DFKI, DFKI Research Reports (RR), Vol. 93-42, 1993.
Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt; Andrea Schaerf

Queries, Rules and Definitions as Epistemic Statements in Concept Languages

DFKI, DFKI Research Reports (RR), Vol. 93-40, 1993.