| 1. |
Su, Zhendong ; Aiken, Alexander ; Niehren, Joachim ; Priesnitz, Tim ; Treinen, Ralf
(2002)
First-order theory of subtyping constraints
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, 16-18 January 2002, pp.203-216
InProceedings (Aufsatz / Paper einer Konferenz etc.)
|
| 2. |
Backofen, Rolf ; Treinen, Ralf
(1994)
How to win a game with features
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 3. |
Comon, Hubert ; Treinen, Ralf
(1994)
Ordering constraints on trees
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 4. |
Niehren, Joachim ; Podelski, Andreas ; Treinen, Ralf
(1993)
Equational and membership constraints for infinite trees
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 5. |
Comon, Hubert ; Treinen, Ralf
(1993)
The first-order theory of lexicographic path orderings is undecidable
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 6. |
Smolka, Gert ; Treinen, Ralf
(1992)
Records for logic programming
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 7. |
Treinen, Ralf
(1991)
First order data types and first order logic
Report (Bericht)
|
| 8. |
Treinen, Ralf
(1991)
Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe
Dissertation
|
| 9. |
Treinen, Ralf
(1990)
A new method for undecidability proofs of first order theories
Report (Bericht)
|
