Skip to main content Skip to main navigation

Publications

Page 7 of 7.

  1. Michael Sintek

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

    DFKI, DFKI Technical Memos (TM), Vol. 95-02, 1995.

  2. Harold Boley; Klaus Elsbernd; Michael Herfert; Michael Sintek; Werner Stein

    RELFUN Guide: Programming with Relations and Functions Made Easy

    DFKI, DFKI Documents (D), Vol. 93-12, 1993.

  3. Michael Sintek

    Indexing PROLOG Procedures into DAGs by Heuristic Classification

    DFKI, DFKI Technical Memos (TM), Vol. 93-05, 1993.

  4. Werner Stein; Michael Sintek

    Relfun/X - An Experimental Prolog Implementation of Relfun

    DFKI, DFKI Documents (D), Vol. 91-01, 1991.

  5. Harold Boley; Philipp Hanschke; Martin Harm; Knut Hinkelmann; Thomas Labisch; Manfred Meyer; Jörg Müller; Thomas Oltzen; Michael Sintek; Werner Stein; Frank Steinle

    MikroCAD2NC: A Declarative Lathe-Workplanning Model Transforming CA D-like Geometries into Abstract NC Programs

    DFKI, DFKI Documents (D), Vol. 91-15, 1991.