|
Journals in DBLP
- Jürgen Giesl, Deepak Kapur
Preface. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:4, pp:323- [Journal]
- Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain
Mechanically Proving Termination Using Polynomial Interpretations. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:4, pp:325-363 [Journal]
- Alfons Geser, Dieter Hofbauer, Johannes Waldmann
Termination Proofs for String Rewriting Systems via Inverse Match-Bounds. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:4, pp:365-385 [Journal]
- Panagiotis Manolios, Daron Vroon
Ordinal Arithmetic: Algorithms and Mechanization. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:4, pp:387-423 [Journal]
|