8 results
Episodic Memory and Verbal Fluency Tasks: Normative Data from Nine Nationally Representative Samples
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 27 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 07 August 2020, pp. 89-98
-
- Article
- Export citation
Resource Analysis driven by (Conditional) Termination Proofs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 722-739
-
- Article
- Export citation
A Transformational Approach to Resource Analysis with Typed-norms Inference
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 3 / May 2020
- Published online by Cambridge University Press:
- 05 September 2019, pp. 310-357
-
- Article
- Export citation
A comparison of the degree of implementation of marine biodiversity indicators by European countries in relation to the Marine Strategy Framework Directive (MSFD)
-
- Journal:
- Journal of the Marine Biological Association of the United Kingdom / Volume 95 / Issue 8 / December 2015
- Published online by Cambridge University Press:
- 23 June 2015, pp. 1519-1531
-
- Article
- Export citation
A CLP heap solver for test case generation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 721-735
-
- Article
- Export citation
Certificate size reduction in abstraction-carrying code*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 05 January 2011, pp. 283-318
-
- Article
- Export citation
Test case generation for object-oriented imperative languages in CLP*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 659-674
-
- Article
- Export citation
Efficient local unfolding with ancestor stacks*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 18 January 2010, pp. 1-32
-
- Article
- Export citation