Browsing by Author "Giesl, Jürgen"
Now showing items 1-3 of 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