Geodesic
Quantum computational structures
Mathematica slovaca, Tome 54 (2004) no. 1, pp. 87-108
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 81P10, 81P68 
@article{MASLO_2004_54_1_a8,
     author = {Cattaneo, Gianpiero and Dalla Chiara, Maria Luisa and Giuntini, Roberto and Leporini, Roberto},
     title = {Quantum computational structures},
     journal = {Mathematica slovaca},
     pages = {87--108},
     year = {2004},
     volume = {54},
     number = {1},
     mrnumber = {2074032},
     zbl = {1077.81016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MASLO_2004_54_1_a8/}
}
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
SP  - 87
EP  - 108
VL  - 54
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/MASLO_2004_54_1_a8/
LA  - en
ID  - MASLO_2004_54_1_a8
ER  - 
%0 Journal Article
%A Cattaneo, Gianpiero
%A Dalla Chiara, Maria Luisa
%A Giuntini, Roberto
%A Leporini, Roberto
%T Quantum computational structures
%J Mathematica slovaca
%D 2004
%P 87-108
%V 54
%N 1
%U http://geodesic.mathdoc.fr/item/MASLO_2004_54_1_a8/
%G en
%F MASLO_2004_54_1_a8
Cattaneo, Gianpiero; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto. Quantum computational structures. Mathematica slovaca, Tome 54 (2004) no. 1, pp. 87-108. http://geodesic.mathdoc.fr/item/MASLO_2004_54_1_a8/

[CDCGL01] CATTANEO G.-DALLA CHIARA M. L.-GIUNTINI R.-LEPORINI R.: An unsharp logic from quantum computation. e-print: quant-ph/0201013.

[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

[DGLL02] DALLA CHIARA M. L.-GIUNTINI R.-LEPORATI A.-LEPORINI R.: Qubit semantics and quantum trees. quant-ph/0211190. | Zbl

[DEL00] DEUTSCH D.-EKERT A.-LUPACCHINI R.: Machines, logic and quantum physics. Bull. Symbolic Logic 3 (2000), 265-283. | MR | Zbl

[GuOЗ] GUDDER S.: Quantum computational logic. Internat. J. Theoret. Phys. 42 (2003), 39-47. | MR | Zbl

[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)].

[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). | MR | Zbl

[Za34] ZAWIRSKI Z.: Relation of Many-Valued Logic to Probability Calculus. Poznaňskie Towarzystwo Przyjaciól Nauk, Poznaň. (Polish)