Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 13 bis 18 von 97
  1. Werner Stephan; Susanne Biundo

    Deduction-based Refinement Planning

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

  2. Walter Hower; Winfried Graf

    Research in Constraint-Based Layout, Visualization, CAD, and Related Topics: A Bibliographical Survey

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

  3. Anne Kilger; Wolfgang Finkler

    Incremental Generation for Real-Time Applications

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

  4. Gert Smolka

    The Oz Programming Model

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

  5. Martin Buchheit; F. M. Donini; Werner Nutt; A. Schaerf

    A Refined Architecture for Terminological Systems: Terminology = Schema + Views

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

  6. Michael Mehl; Ralf Scheidhauer; Christian Schulte

    An Abstract Machine for Oz

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