Treinen, Ralf - Laboratoire Preuves, Programmes et Syst�mes, Universit� Paris 7

Advanced Search

Treinen, Ralf - Laboratoire Preuves, Programmes et Syst�mes, Universit� Paris 7 - Denis Diderot

Predicate Logic and Tree Automata with Tests Ralf Treinen 1?
How to Win a Game with Features Rolf Backofen \Lambda
A Spatial Equational Logic for the Applied Jules Villard +
Universit Paris-Sud Dpartement Informatique
16th International Workshop on Uni cation July 25{26, 2002
Grid Structures and Undecidable Constraint Theories \Lambda
Intruder Deduction for the Equational Theory of Abelian Groups with Distributive Encryption
Feature Constraints with FirstClass Features Ralf Treinen ?
Draft 13/11/2000 Predicate Logic and Tree Automata with Tests
Rue Franoise Dolto rez-de-chausse
Proceedings of Sixth International Workshop on
Expressing Advanced User Preferences in Component Installation
Grid Structures and Undecidable Constraint Franck Seynhaeve 1 , Marc Tommasi ??1 , Ralf Treinen 2
J. Symbolic Computation (1992) 14, 437--457 A New Method for Undecidability Proofs of First
First Order Data Types and First Order Logic
Feature Trees over Arbitrary Ralf Treinen
Constraint Deduction in an Intervalbased Temporal Logic
Forschungszentrum Intelligenz GmbH
Draft 16/12/1999 On Rewrite Constraints and Context Joachim Niehren 1
Universite Paris Diderot Paris 7 Master Parisien de Recherche en Informatique
Records for Logic Programming Gert Smolka and Ralf Treinen
Reducing Equational Theories for the Decision of Static Equivalence #
Constraints and Constraint Solving: An Introduction
Dominance Constraints: Algorithms and Complexity Alexander Koller Joachim Niehren Ralf Treinen
15th International Workshop on Uni cation June 18{19, 2001
Technical Report, Laboratoire de Recherche en Informatique, Universit'e de Paris Sud, to appear. Submitted for publication.
Forschungszentrum Intelligenz GmbH