Searching for authors named "Harald Zankl" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Satisfying KBO Constraints
- …Satisfying KBO Constraints ⋆ Harald Zankl and Aart Middeldorp Institute of Computer Science…
- Cited by 4 (1 self) – Add To MetaCart
-
2 SAT Solving for Termination Analysis with
- …, and Harald Zankl ISSN 0935-3232 * Aachener Informatik Berichte * AIB-2007-02 RWTH Aachen * Department…
- Add To MetaCart
-
unknown title
- …"urgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, Ren'e Thiemann, Harald Zankl ISSN 0935-3232 * Aachener…
- Add To MetaCart
-
Maximal Termination
- … Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl ISSN 0935–3232 · Aachener…
- Cited by 1 (1 self) – Add To MetaCart
-
SAT Solving for Termination Analysis with Polynomial Interpretations
- …, and Harald Zankl ISSN 0935–3232 · Aachener Informatik Berichte · AIB-2007-02 RWTH Aachen · Department…
- Cited by 13 (7 self) – Add To MetaCart
-
Computational Logic 3: SAT Techniques for Lexicographic Path Orders Seminar Report
- … Orders Seminar Report Harald Zankl 1st February 2008 Supervisor: Univ.-Prof. Dr. Aart Middeldorp Abstract…
- Add To MetaCart
Showing 1 through 6.
