researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Computability
Home
Index
Info
Issue
Volume
9
, Issue
1
1
--
24
Henning Fernau
,
Till Fluschnik
,
Danny Hermelin
,
Andreas Krebs
,
Hendrik Molter
,
Rolf Niedermeier
.
Diminishable parameterized problems and strict polynomial kernelization
25
--
36
Paul Shafer
.
The strength of compactness for countable complete linear orders
37
--
50
Peter Gerdes
.
ω-REA set forming a minimal pair with 0~′
51
--
83
Pietro Milici
.
A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation