Zobrazeno 1 - 10
of 73
pro vyhledávání: '"Hehner, Eric"'
Autor:
Hehner, Eric C. R.
Publikováno v:
EPTCS 282, 2018, pp. 1-9
We present a theory of lazy imperative timing.
Comment: In Proceedings Refine 2018, arXiv:1810.08739
Comment: In Proceedings Refine 2018, arXiv:1810.08739
Externí odkaz:
http://arxiv.org/abs/1810.09610
Autor:
Hehner, Eric
Two Turing Machines may be able to answer questions about each other that they cannot answer about themselves.
Comment: 3 pages
Comment: 3 pages
Externí odkaz:
http://arxiv.org/abs/1610.09235
Autor:
Hehner, Eric C. R.
The Halting Problem is a version of the Liar's Paradox.
Comment: 7 pages
Comment: 7 pages
Externí odkaz:
http://arxiv.org/abs/1606.08722
Autor:
Hehner, Eric C. R.
The Halting Problem is ill-conceived and ill-defined.
Comment: 5 pages
Comment: 5 pages
Externí odkaz:
http://arxiv.org/abs/1606.08703
Autor:
Hehner, Eric C. R.
A consistently specified halting function may be computed.
Comment: 5 pages
Comment: 5 pages
Externí odkaz:
http://arxiv.org/abs/1606.08699
Autor:
Tafliovich, Anya, Hehner, Eric C. R.
This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing programs which involve communication, both via quantum channels and exhibit
Externí odkaz:
http://arxiv.org/abs/0907.5162
Autor:
Tafliovich, Anya, Hehner, Eric C. R.
Quantum pseudo-telepathy is an intriguing phenomenon which results from the application of quantum information theory to communication complexity. To demonstrate this phenomenon researchers in the field of quantum communication complexity devised a n
Externí odkaz:
http://arxiv.org/abs/0707.1527
Autor:
Hehner, Eric C.R.1 hehner@cs.utoronto.ca
Publikováno v:
Mathematical Intelligencer. Spring2004, Vol. 26 Issue 2, p3-19. 17p.
Publikováno v:
Communications of the ACM. May85, Vol. 28 Issue 5, p534-538. 5p.