Ian Herbert, Sanjay Jain 0001, Steffen Lempp, Manat Mustafa, Frank Stephan 0001. Reductions between types of numberings. Annals of Pure and Applied Logic, 170(12), 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.