Ihr Suchergebnis
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |
| 1. |
Baader, Franz ; Schulz, Klaus U.
(1993)
Combination techniques and decision problems for disunification
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 2. |
Baader, Franz ; Schulz, Klaus
(1991)
Unification in the union of disjoint equational theories : combining decision procedures
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |