You are looking at a specific version 20100709:172408 of this paper.
See the latest version.
Paper 2010/389
The impossibility of computationally sound XOR
Dominique Unruh
Abstract
We give a simple example that there is no symbolic theory for exclusive or (XOR) that is computationally sound.
Metadata
- Available format(s)
- Category
- Foundations
- Publication info
- Published elsewhere. Unknown where it was published
- Keywords
- Computational soundnesssymbolic modelsXOR
- Contact author(s)
- unruh @ mmci uni-saarland de
- History
- 2010-07-09: received
- Short URL
- https://ia.cr/2010/389
- License
-
CC BY