default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputability, Volume 4
Volume 4, Number 1, 2015
- Matthias Schröder
, Victor L. Selivanov:
Hyperprojective hierarchy of qcb0-spaces. 1-17 - Amir M. Ben-Amram:
Mortality of iterated piecewise affine functions over the integers: Decidability and complexity. 19-56 - Henry Towsner:
On maximum conservative extensions. 57-68 - Ludovic Patey:
The complexity of satisfaction problems in reverse mathematics. 69-84
Volume 4, Number 2, 2015
- Jack H. Lutz, Neil Lutz:
Lines missing every random point. 85-102 - Kirill Gura, Jeffry L. Hirst, Carl Mummert:
On the existence of a connected component of a graph. 103-117 - Charles M. Harris:
On limitwise monotonicity and maximal block functions. 119-139 - Eric P. Astor:
Asymptotic density, immunity and randomness. 141-158 - Stanislav O. Speranski:
Some new results in monadic second-order arithmetic. 159-174
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
