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
Volume
Volume
6
, Issue
4
307
--
318
Alexei Miasnikov
,
Paul Schupp
.
Computational complexity and the conjugacy problem
319
--
331
Emanuele Frittaion
,
Ludovic Patey
.
Coloring the rationals in reverse mathematics
333
--
363
Arthur Milchior
.
Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set
365
--
389
Francis Adams
,
Douglas Cenzer
.
Computability and categoricity of weakly ultrahomogeneous structures
391
--
408
Timothy H. McNicholl
.
Computable copies of ℓp
Volume
6
, Issue
3
209
--
221
Ludovic Patey
.
Iterative forcing and hyperimmunity in reverse mathematics
223
--
247
Merlin Carl
.
Infinite time recognizability from generic oracles and the recognizable jump operator
249
--
276
Lars Kristiansen
.
On subrecursive representability of irrational numbers
277
--
305
Manindra Agrawal
,
Diptarka Chakraborty
,
Debarati Das
,
Satyadev Nandakumar
.
Dimension, pseudorandomness and extraction of pseudorandomness
Volume
6
, Issue
2
105
--
124
Damir D. Dzhafarov
,
Gregory Igusa
.
Notions of robust information coding
125
--
164
Martin Huschenbett
,
Alexander Kartzow
,
Philipp Schlicht
.
1
165
--
181
Oscar H. Ibarra
,
Cewei Cui
,
Zhe Dang
,
Thomas R. Fischer
.
1
183
--
208
Rica Gonen
,
Anat Lerner
.
Characterizing incentive compatible, Pareto optimal and sufficiently anonymous constrained combinatorial mechanisms - Two players case
Volume
6
, Issue
1
1
--
21
Sanjay Jain
,
Frank Stephan
,
Jason Teutsch
.
Closed left-r.e. sets
23
--
45
Peter Cholak
,
Rachel Epstein
.
Computably enumerable sets that are automorphic to low sets
47
--
78
Ludovic Patey
.
Controlling iterated jumps of solutions to combinatorial problems
79
--
104
Klaus Weihrauch
.
Computability on measurable functions