Journal: Computability

Volume 9, Issue 1

1 -- 24Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier. Diminishable parameterized problems and strict polynomial kernelization
25 -- 36Paul Shafer. The strength of compactness for countable complete linear orders
37 -- 50Peter Gerdes. ω-REA set forming a minimal pair with 0~′
51 -- 83Pietro Milici. A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation