Ihr Suchergebnis
| Ergebnis 1 - 1 von 1 1 Gehe zu Seite von 1 | |
| 1. |
Comon, Hubert ; Treinen, Ralf
(1993)
The first-order theory of lexicographic path orderings is undecidable
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| Ergebnis 1 - 1 von 1 1 Gehe zu Seite von 1 | |