Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 13 bis 18 von 97
  1. Joachim Niehren

    Functional Computation as Concurrent Computation

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

  2. Werner Stephan; Susanne Biundo

    Deduction-based Refinement Planning

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

  3. 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.

  4. Anne Kilger; Wolfgang Finkler

    Incremental Generation for Real-Time Applications

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

  5. Gert Smolka

    The Oz Programming Model

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

  6. 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.