First-Order Theory of Subtyping Constraints
(pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems
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
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
On Rewrite Constraints and Context Unification
(pdf)
Joachim Niehren, Ralf Treinen, Sophie Tison
Information Processing Letters
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)
The First-Order Theory of Lexicographic Path Orderings is Undecidable
(pdf)
Hubert Comon, Ralf Treinen
Theoretical Computer Science
Feature Trees over Arbitrary Structures
(pdf)
Ralf Treinen
Specifying Syntactic Structures
Constraint Deduction in an Interval-based Temporal Logic
(pdf)
Jana Koehler, Ralf Treinen
Executable Modal and Temporal Logics
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
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
A New Method for Undecidability Proofs of First Order Theories
(pdf)
Ralf Treinen
Journal of Symbolic Computation
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