Giesl, Jürgen
Giesl, J.
Giesl, J. (Jürgen)
VIAF ID: 52376428 ( Personal )
Permalink: http://viaf.org/viaf/52376428
Preferred Forms
- 100 1 _ ‡a Giesl, J.
-
-
-
- 100 1 _ ‡a Giesl, Jürgen
- 100 1 _ ‡a Giesl, Jürgen
-
-
Works
Title | Sources |
---|---|
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings | |
Liveness in rewriting | |
Proving innermost normalisation automatically | |
RTA 2005 | |
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : Proceedings | |
Termination of constructor systems |