1 results
Bounded minimalisation and bounded counting in argument-bounded idc's
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 5 / October 2010
- Published online by Cambridge University Press:
- 27 October 2010, pp. 753-779
-
- Article
- Export citation