Have a personal or library account? Click to login
Natural Quantum Operational Semantics with Predicates Cover

Natural Quantum Operational Semantics with Predicates

International Journal of Applied Mathematics and Computer Science
Volume 18 (2008): Issue 3 (September 2008)
By: Marek Sawerwain and  Roman Gielerak  
Open Access
|Oct 2008
DOI: https://doi.org/10.2478/v10006-008-0031-x | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 341 - 359
Published on: Oct 6, 2008
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
quantum computation,
predicate notion for quantum programs,
quantum labelled transition systems
Related subjects:
Mathematics,
Applied mathematics

© 2008 Marek Sawerwain, Roman Gielerak, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 18 (2008): Issue 3 (September 2008)