×

Found 614 Documents (Results 401–500)

Topological quantum computation. (English) Zbl 1380.81089

Bernardo, Marco (ed.) et al., Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17–22, 2013. Advanced lectures. Berlin: Springer (ISBN 978-3-642-38873-6/pbk). Lecture Notes in Computer Science 7938, 150-179 (2013).
MSC:  81P68 57M99 68Q12
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field