Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 105
  1. Gert Smolka

    A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards

    DFKI, DFKI Research Reports (RR), Vol. 94-03, 1994.

  2. Elisabeth Andre; Thomas Rist

    Von Textgeneratoren zu Intellimedia-Präsentationssystemen

    DFKI, DFKI Research Reports (RR), Vol. 94-02, 1994.

  3. Elisabeth Andre; Thomas Rist

    Multimedia Presentations: The Support of Passive and Active Viewing

    DFKI, DFKI Research Reports (RR), Vol. 94-01, 1994.

  4. Stephan Oepen

    German Nominal Syntax in HPSG - On Syntactic Categories and Syntagmatic Relations -

    DFKI, DFKI Documents (D), Vol. 94-15, 1994.

  5. Rolf Backofen

    A Complete Axiomatization of a Theory with Feature and Arity Constraints

    DFKI, DFKI Research Reports (RR), Vol. 94-35, 1994.

  6. Franz Baader; Armin Laux

    Terminological Logics with Modal Operators

    DFKI, DFKI Research Reports (RR), Vol. 94-33, 1994.

  7. Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

    Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

    DFKI, DFKI Research Reports (RR), Vol. 94-31, 1994.

  8. Gert Smolka

    The Definition of Kernel Oz

    DFKI, DFKI Research Reports (RR), Vol. 94-23, 1994.

  9. Christian Schulte; Gert Smolka; Jörg Würtz

    Encapsulated Search and Constraint Programming in Oz

    DFKI, DFKI Research Reports (RR), Vol. 94-20, 1994.