Publikationen

Zeige Ergebnisse 41 bis 42 von 42

Joachim Niehren; Andreas Podelski; Ralf Treinen

Equational and Membership Constraints for Infinite Trees

DFKI, DFKI Research Reports (RR), Vol. 93-14, 1993.
Franz Baader; Karl Schlechta

A Semantics for Open Normal Defaults via a Modified Preferential Approach

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