DFKI Publications by Treinen, Ralf

[Back]

FR-97-02

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

RR-92-23

with Gert Smolka
Records for Logic Programming

RR-93-14

with Joachim Niehren , Andreas Podelski
Equational and Membership Constraints for Infinite Trees

RR-93-42

with Hubert Comon
The First-Order Theory of Lexicographic Path Orderings is Undecidable

RR-94-12

with Hubert Comon
Ordering Constraints on Trees

RR-94-18

with Rolf Backofen
How to Win a Game with Features

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.