7 results
Type-based analysis of logarithmic amortised complexity
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 6 / June 2022
- Published online by Cambridge University Press:
- 19 October 2021, pp. 794-826
-
- Article
-
- You have access
- Open access
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
12 - Alpine Bryophytes as Indicators for Climate Change: a Case Study from the Austrian Alps
-
-
- Book:
- Bryophyte Ecology and Climate Change
- Published online:
- 05 October 2012
- Print publication:
- 06 January 2011, pp 237-250
-
- Chapter
- Export citation
The Indiana University Telephone-Based Assessment of Neuropsychological Status: A new method for large scale neuropsychological assessment
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 13 / Issue 5 / September 2007
- Published online by Cambridge University Press:
- 14 August 2007, pp. 799-806
-
- Article
- Export citation
Two-point similarity in temporally evolving plane wakes
-
- Journal:
- Journal of Fluid Mechanics / Volume 577 / 25 April 2007
- Published online by Cambridge University Press:
- 19 April 2007, pp. 287-307
-
- Article
- Export citation
Andreas Weiermann. Complexity bounds for some finite forms of Kruskal's Theorem. Journal of Symbolic Computation, vol. 18 (1994), pp. 463–448. - Andreas Weiermann. Termination proofs for term rewriting systems with lexicographic path ordering imply multiply recursive derivation lengths. Theoretical Computer Science, vol. 139 (1995), pp. 355–362. - Andreas Weiermann. Bounding derivation lengths with functions from the slow growing hierarchy. Archive of Mathematical Logic, vol. 37 (1998), pp. 427–441.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 588-590
- Print publication:
- December 2004
-
- Article
- Export citation
Kinetics of iron-promoted silicon nitridation
-
- Journal:
- Journal of Materials Research / Volume 1 / Issue 6 / December 1986
- Published online by Cambridge University Press:
- 29 June 2016, pp. 797-802
- Print publication:
- December 1986
-
- Article
- Export citation