Steffen Lempp
2 ta ish
University of Wisconsin–Madison
UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
Uri Andrews, Steffen Lempp, Joseph S. Miller +3
Maqola20144 iqtibosABIReductions between types of numberings
Ian Herbert, Sanjay Jain, Steffen Lempp +2
Maqola20193 iqtibosABI