Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | 0,00 | 0,00 | Towards a Categorical Semantics of a High-level Quantum Programming Language
|
0,00 | 0,00 | LanQ - an Imperative Quantum Programming Language
|
0,00 | 0,00 | Operational Semantics of Quantum Programming Language LanQ
|
15,51 | 15,51 | Semantics of quantum programming language LanQ
|
0,00 | 0,00 | Syntactic Type Soundness in Structured Imperative Languages
|
Back
(c) Michal Bulant, 2011