Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1992
Remove all filters
Displaying results 71 to 80 of 144.

  1. Harold Boley

    Extended Logic-plus-Functional Programming

    DFKI, DFKI Research Reports (RR), Vol. 92-03, 1992.

  2. Werner Nutt

    Unification in Monoidal Theories is Solving Linear Equations over Semirings

    DFKI, DFKI Research Reports (RR), Vol. 92-01, 1992.

  3. Philipp Hanschke

    Specifying Role Interaction in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 92-37, 1992.

  4. Franz Baader; Philipp Hanschke

    Extensions of Concept Languages for a Mechanical Engineering Application

    DFKI, DFKI Research Reports (RR), Vol. 92-36, 1992.

  5. Manfred Meyer

    Using Hierarchical Constraint Satisfaction for Lathe-Tool Selection in a CIM Environment

    DFKI, DFKI Research Reports (RR), Vol. 92-35, 1992.

  6. Philipp Hanschke

    Terminological Reasoning and Partial Inductive Definitions

    DFKI, DFKI Research Reports (RR), Vol. 92-34, 1992.

  7. Franz Baader

    Unification Theory

    DFKI, DFKI Research Reports (RR), Vol. 92-33, 1992.

  8. Rainer Hoch; Michael Malburg

    Designing a Structured Lexicon for Document Image Analysis

    DFKI, DFKI Research Reports (RR), Vol. 92-32, 1992.

  9. Wolfgang Wahlster

    Automatic Design of Multimodal Presentations

    DFKI, DFKI Research Reports (RR), Vol. 92-31, 1992.

  10. Rolf Backofen; Gert Smolka

    A Complete and Recursive Feature Theory

    DFKI, DFKI Research Reports (RR), Vol. 92-30, 1992.

Year