Back to Search
Start Over
There is no safe pairing function over an arbitrary structure
- Source :
- MLQ. 52:362-366
- Publication Year :
- 2006
- Publisher :
- Wiley, 2006.
-
Abstract
- In [1] the class of safe recursive functions over an arbitrary structure is defined. We prove that in this class, one cannot define a total pairing function independently of the structure. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
Details
- ISSN :
- 15213870 and 09425616
- Volume :
- 52
- Database :
- OpenAIRE
- Journal :
- MLQ
- Accession number :
- edsair.doi...........f20c41eec6dddf96af458689876d7b11
- Full Text :
- https://doi.org/10.1002/malq.200610003