SciDok

Ihr Suchergebnis

Ergebnis 1 - 9 von 9  1    Gehe zu Seite
von 1
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)
 
Ergebnis 1 - 9 von 9  1    Gehe zu Seite
von 1

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English