| Title:
|
Quantum computational structures (English) |
| Author:
|
Cattaneo, Gianpiero |
| Author:
|
Dalla Chiara, Maria Luisa |
| Author:
|
Giuntini, Roberto |
| Author:
|
Leporini, Roberto |
| Language:
|
English |
| Journal:
|
Mathematica Slovaca |
| ISSN:
|
0139-9918 |
| Volume:
|
54 |
| Issue:
|
1 |
| Year:
|
2004 |
| Pages:
|
87-108 |
| . |
| Category:
|
math |
| . |
| MSC:
|
81P10 |
| MSC:
|
81P68 |
| idZBL:
|
Zbl 1077.81016 |
| idMR:
|
MR2074032 |
| . |
| Date available:
|
2009-09-25T14:18:46Z |
| Last updated:
|
2012-08-01 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/136899 |
| . |
| Reference:
|
[CDCGL01] CATTANEO G.-DALLA CHIARA M. L.-GIUNTINI R.-LEPORINI R.: An unsharp logic from quantum computation.e-print: quant-ph/0201013. |
| Reference:
|
[DCG02] 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. Zbl 1059.81003 |
| Reference:
|
[DGLL02] DALLA CHIARA M. L.-GIUNTINI R.-LEPORATI A.-LEPORINI R.: Qubit semantics and quantum trees.quant-ph/0211190. Zbl 1119.81313 |
| Reference:
|
[DEL00] DEUTSCH D.-EKERT A.-LUPACCHINI R.: Machines, logic and quantum physics.Bull. Symbolic Logic 3 (2000), 265-283. Zbl 0998.68059, MR 1803634 |
| Reference:
|
[GuOЗ] GUDDER S.: Quantum computational logic.Internat. J. Theoret. Phys. 42 (2003), 39-47. Zbl 1036.81003, MR 1980104 |
| Reference:
|
[Pe67] 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)]. |
| Reference:
|
[To80] 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). Zbl 0443.68038, MR 0589037 |
| Reference:
|
[Za34] ZAWIRSKI Z.: Relation of Many-Valued Logic to Probability Calculus.Poznaňskie Towarzystwo Przyjaciól Nauk, Poznaň. (Polish) |
| . |
