|
Journals in DBLP
- Jürgen Giesl, Deepak Kapur
Third Special Issue on Techniques for Automated Termination Proofs. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:37, n:3, pp:153-154 [Journal]
- Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
Mechanizing and Improving Dependency Pairs. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:37, n:3, pp:155-203 [Journal]
- Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
Elimination Transformations for Associative-Commutative Rewriting Systems. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:37, n:3, pp:205-229 [Journal]
|