Document Search Results

from until

Sorting

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Equational reasoning about quantum protocols. (English) Zbl 1464.81018

Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 155-170 (2015).

MSC: 81P68 68Q55 68Q60 68Q85 81P70 81P94 94A62

Cite Review PDF

Full Text: DOI Link

Gay, Simon J.; Nagarajan, Rajagopal

Techniques for formal modelling and analysis of quantum systems. (English) Zbl 1264.81073

Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 264-276 (2013).

MSC: 81P45 68Q60 81P94

Cite Review PDF

Full Text: DOI

Filter Results by …

Author

Year of Publication

2015 (1)
2013 (1)

Main Field

68-XX (2)
81-XX (2)
94-XX (1)

Software

QPL (1)