Quantum computational structures
Gianpiero Cattaneo; Maria Luisa Dalla Chiara; Roberto Giuntini; Roberto Leporini
Mathematica Slovaca (2004)
- Volume: 54, Issue: 1, page 87-108
- ISSN: 0232-0525
Access Full Article
top
How to cite
topCattaneo, Gianpiero, et al. "Quantum computational structures." Mathematica Slovaca 54.1 (2004): 87-108. <http://eudml.org/doc/34591>.
@article{Cattaneo2004,
author = {Cattaneo, Gianpiero, Dalla Chiara, Maria Luisa, Giuntini, Roberto, Leporini, Roberto},
journal = {Mathematica Slovaca},
keywords = {quantum computation; quantum logic},
language = {eng},
number = {1},
pages = {87-108},
publisher = {Mathematical Institute of the Slovak Academy of Sciences},
title = {Quantum computational structures},
url = {http://eudml.org/doc/34591},
volume = {54},
year = {2004},
}
TY - JOUR
AU - Cattaneo, Gianpiero
AU - Dalla Chiara, Maria Luisa
AU - Giuntini, Roberto
AU - Leporini, Roberto
TI - Quantum computational structures
JO - Mathematica Slovaca
PY - 2004
PB - Mathematical Institute of the Slovak Academy of Sciences
VL - 54
IS - 1
SP - 87
EP - 108
LA - eng
KW - quantum computation; quantum logic
UR - http://eudml.org/doc/34591
ER -
References
top- CATTANEO G.-DALLA CHIARA M. L.-GIUNTINI R.-LEPORINI R., An unsharp logic from quantum computation, e-print: quant-ph/0201013.
- DALLA CHIARA M. L.-GIUNTINI R., Quantum logics, In: Handbook of Philosophical Logic, vol. VI (G. Gabbay, F. Guenthner, eds.), Kluwer, Dordrecht, 2002, pp. 129-228. Zbl1059.81003
- DALLA CHIARA M. L.-GIUNTINI R.-LEPORATI A.-LEPORINI R., Qubit semantics and quantum trees, quant-ph/0211190. Zbl1119.81313
- DEUTSCH D.-EKERT A.-LUPACCHINI R., Machines, logic and quantum physics, Bull. Symbolic Logic 3 (2000), 265-283. Zbl0998.68059MR1803634
- GUDDER S., Quantum computational logic, Internat. J. Theoret. Phys. 42 (2003), 39-47. Zbl1036.81003MR1980104
- PETRI C. A., Gründsatzliches zur Beschreibung diskreter Prozesse, In: Proceedings of the Зrd Colloquium über Automatentheorie (Hannover, 1965), Birkhäuser Verlag, Basel, 1967, pp. 121-140 [English version: Fundamentals of the representation of discrete processes, ISF Report 82.04 (1982) (translated by H. J. Genrich and P. S. Thiagarajan)]. (1965)
- TOFFOLI T., Reversible computing, In: Automata, Languages and Programming. Lecture Notes in Comput. Sci. 85 (J. W. de Bakker, J. van Leeuwen, eds.), Springer, Berlin-Heidelberg-New York, 1980, pp. 632-644 (Also available as Technical Memo MIT/LCS/TM-151, MIT Laboratory for Computer Science, February 1980). (1980) Zbl0443.68038MR0589037
- ZAWIRSKI Z., Relation of Many-Valued Logic to Probability Calculus, Poznaňskie Towarzystwo Przyjaciól Nauk, Poznaň. (Polish)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.