|
Journals in DBLP
- Jürgen Giesl, Deepak Kapur
Preface. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:2, pp:103-104 [Journal]
- Hans Zantema
Termination of String Rewriting Proved Automatically. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:2, pp:105-139 [Journal]
- Alexander Serebrenik, Danny De Schreye
Termination of Floating-Point Computations. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:2, pp:141-177 [Journal]
- Brigitte Pientka
Verifying Termination and Reduction Properties about Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:2, pp:179-207 [Journal]
|