DFKI Publications by Smolka, Gert

[Back]

FR-97-02

with Martin Henz, M. S. , Dipl.-Inform. Michael Mehl , Dipl.-Inform. Ralf Scheidhauer , Dipl.-Inform. Christian Schulte , Dr. Ralf Treinen , Dipl.-Inform. Jörg Würtz
Hydra Hybride Werkbank zur Konstruktion von deduktiven Problemlösern in wissensbasierten Systemen: Berechnung und Deduktion mit Constraints

RR-91-01

with Franz Baader , Hans-Jürgen Bürckert , Bernhard Nebel , Werner Nutt
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

RR-91-13

Residuation and Guarded Rules for Constraint Logic Programming

RR-91-15

with Bernhard Nebel
Attributive Description Formalisms ... and the Rest of the World

RR-92-17

with Hassan Aït-Kaci , Andreas Podelski
A Feature-based Constraint System for Logic Programming with Entailment

RR-92-23

with Ralf Treinen
Records for Logic Programming

RR-92-30

with Rolf Backofen
A Complete and Recursive Feature Theory

RR-93-16

with Martin Henz , Jörg Würtz
Object-Oriented Concurrent Constraint Programming in Oz

RR-94-03

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

RR-94-16

A Foundation for Higher-order Concurrent Constraint Programming

RR-94-20

with Christian Schulte , Jörg Würtz
Encapsulated Search and Constraint Programming in Oz

RR-94-23

The Definition of Kernel Oz

RR-95-10

The Oz Programming Model

This document was last updated at 12:48 on Monday, January 26, 2004 by
DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.