Ihr Suchergebnis
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |
| 1. |
Niehren, Joachim ; Podelski, Andreas ; Treinen, Ralf
(1993)
Equational and membership constraints for infinite trees
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 2. |
Aït-Kaci, Hassan ; Podelski, Andreas ; Smolka, Gert
(1992)
A feature-based constraint system for logic programming with entailment
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |