Skip to main content Skip to main navigation

Publications

Displaying results 19 to 24 of 97.
  1. Rolf Backofen; James Rogers; K. Vijay-Shanker

    A First-Order Axiomatization of the Theory of Finite Trees

    DFKI, DFKI Research Reports (RR), Vol. 95-05, 1995.

  2. Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)

    Working Notes of the KI'95 Workshop: KRDB-95 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

    DFKI, DFKI Documents (D), Vol. 95-12, 1995.

  3. Technical Staff

    DFKI Jahresbericht 1994

    DFKI, DFKI Documents (D), Vol. 95-08, 1995.