Publikationen

Zeige Ergebnisse 21 bis 30 von 97

Michael Sintek

FLIP: Functional-plus-Logic Programming on an Integrated Platform

DFKI, DFKI Technical Memos (TM), Vol. 95-02, 1995.
Martin Buchheit; Rüdiger Klein; Werner Nutt

Constructive Problem Solving: A Model Construction Approach towards Configuration

DFKI, DFKI Technical Memos (TM), Vol. 95-01, 1995.
Joachim Niehren

Functional Computation as Concurrent Computation

DFKI, DFKI Research Reports (RR), Vol. 95-14, 1995.
Werner Stephan; Susanne Biundo

Deduction-based Refinement Planning

DFKI, DFKI Research Reports (RR), Vol. 95-13, 1995.
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.
Anne Kilger; Wolfgang Finkler

Incremental Generation for Real-Time Applications

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

The Oz Programming Model

DFKI, DFKI Research Reports (RR), Vol. 95-10, 1995.
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.
Michael Mehl; Ralf Scheidhauer; Christian Schulte

An Abstract Machine for Oz

DFKI, DFKI Research Reports (RR), Vol. 95-08, 1995.
Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt

The Complexity of Concept Languages

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