Auflistung nach Autor "Giesl, Jürgen"
Anzeige der Dokumente 1-3 von 3
-
Automated termination analysis: from term rewriting to programming languages
Giesl, Jürgen
21-22 -
Current Trends in Automated Deduction
Giesl, Jürgen
11-13 -
Special Issue on Automated Deduction
Giesl, Jürgen
7-9