Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 25 bis 30 von 128
  1. Klaus Schild

    Terminological Cycles and the Propositional μ-Calculus

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

  2. Gert Smolka; Martin Henz; Jörg Würtz

    Object-Oriented Concurrent Constraint Programming in Oz

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

  3. Frank Berger; Thomas Fehrle; Kristof Klöckner; Volker Schölles; Markus A. Thies; Wolfgang Wahlster

    PLUS - Plan-based User Support Final Project Report

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

  4. Joachim Niehren; Andreas Podelski; Ralf Treinen

    Equational and Membership Constraints for Infinite Trees

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

  5. Franz Baader; Karl Schlechta

    A Semantics for Open Normal Defaults via a Modified Preferential Approach

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

  6. Pierre Sablayrolles

    A Two-Level Semantics for French Expressions of Motion

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