DocumentCode :
3361544
Title :
Linear Logic For Generalized Quantum Mechanics
Author :
Pratt, Vaughan
Author_Institution :
Stanford University
fYear :
1992
fDate :
2-4 Oct 1992
Firstpage :
166
Lastpage :
180
Keywords :
Automata; Boolean functions; Computer science; Design automation; Logic design; Quantum computing; Quantum mechanics; Uncertainty; Vehicle dynamics; Very large scale integration;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Physics and Computation, 1992. PhysComp '92., Workshop on
Print_ISBN :
0-8186-3420-0
Type :
conf
DOI :
10.1109/PHYCMP.1992.615518
Filename :
615518
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3361544
بازگشت