Programming Systems Lab: Publications by Ralf Treinen

Saarland University Computer Science

Select author:

2006

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems

2002

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

2001

Dominance Constraints: Algorithms and Complexity   (pdf)
Alexander Koller, Joachim Niehren, Ralf Treinen
Third International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France)

The First-Order Theory of Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Discrete Mathematics and Theoretical Computer Science

2000

On Rewrite Constraints and Context Unification   (pdf)
Joachim Niehren, Ralf Treinen, Sophie Tison
Information Processing Letters

1998

The First-Order Theory of Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Thirteenth annual IEEE Symposium on Logic in Computer Sience (LICS98)

1997

The First-Order Theory of Lexicographic Path Orderings is Undecidable   (pdf)
Hubert Comon, Ralf Treinen
Theoretical Computer Science

1996

Feature Trees over Arbitrary Structures   (pdf)
Ralf Treinen
Specifying Syntactic Structures

1995

Constraint Deduction in an Interval-based Temporal Logic   (pdf)
Jana Koehler, Ralf Treinen
Executable Modal and Temporal Logics

1994

How to Win a Game with Features   (pdf)
Rolf Backofen, Ralf Treinen
1st International Conference on Constraints in Computational Logics

Ordering Constraints on Trees   (pdf)
Hubert Comon, Ralf Treinen
Colloquium on Trees in Algebra and Programming

Records for Logic Programming   (pdf)
Gert Smolka, Ralf Treinen
Journal of Logic Programming

1993

Equational and Membership Constraints for Infinite Trees   (pdf)
Joachim Niehren, Andreas Podelski, Ralf Treinen
5th International Conference on Rewriting Techniques and Applications

Feature Constraints with First-Class Features   (pdf)
Ralf Treinen
Mathematical Foundations of Computer Science

1992

A New Method for Undecidability Proofs of First Order Theories   (pdf)
Ralf Treinen
Journal of Symbolic Computation

1991

First Order Data Types and First Order Logic   (pdf)
Ralf Treinen
Theoretical Aspects of Computer Software

Modulare Datentypdefinitionen und Ihre Beziehungen zur Logik erster Stufe   (pdf)
Ralf Treinen
PhD Thesis, Universität des Saarlandes, In german


Login to edit


Webmaster, Mon May 30 13:48:30 2016