6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Adhesive and quasiadhesive categories
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 3 / July 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 511-545
- Print publication:
- July 2005
-
- Article
- Export citation
Polynomials over the reals in proofs of termination : from theory to practice
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 3 / July 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 547-586
- Print publication:
- July 2005
-
- Article
- Export citation
Bisimulation on speed: Lower time bounds
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 3 / July 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 587-618
- Print publication:
- July 2005
-
- Article
- Export citation
Distance desert automata and the star height problem
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 3 / July 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 455-509
- Print publication:
- July 2005
-
- Article
- Export citation
![](https://assets.cambridge.org/97805218/34490/cover/9780521834490.jpg)
Rippling: Meta-Level Guidance for Mathematical Reasoning
-
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005
4 - A formal account of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 82-117
-
- Chapter
- Export citation
7 - Conclusions
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 175-176
-
- Chapter
- Export citation
Preface
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp xi-xiii
-
- Chapter
- Export citation
3 - Productive use of failure
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 54-81
-
- Chapter
- Export citation
6 - From rippling to a general methodology
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 144-174
-
- Chapter
- Export citation
Index
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 200-202
-
- Chapter
- Export citation
5 - The scope and limitations of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 118-143
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp xiv-xiv
-
- Chapter
- Export citation
Appendix 1 - An annotated calculus and a unification algorithm
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 177-189
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp i-vi
-
- Chapter
- Export citation
References
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 193-199
-
- Chapter
- Export citation
2 - Varieties of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 24-53
-
- Chapter
- Export citation
1 - An introduction to rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 1-23
-
- Chapter
- Export citation
Contents
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp vii-x
-
- Chapter
- Export citation
Appendix 2 - Definitions of functions used in this book
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 190-192
-
- Chapter
- Export citation