Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Semantics of quantum programming language LanQ
      MLNAŘÍK, Hynek. Semantics of quantum programming language LanQ. International Journal of Quantum Information. World Scientific, 2008, vol. 6, 1 supp, p. 733-738. ISSN 0219-7499.
      More: https://is.muni.cz/publication/773897/en

    2007

    1. Quantum Programming Language LanQ
      MLNAŘÍK, Hynek. Quantum Programming Language LanQ. 2007.
      More: https://is.muni.cz/publication/723489/en

    2006

    1. LanQ - an Imperative Quantum Programming Language
      MLNAŘÍK, Hynek. LanQ - an Imperative Quantum Programming Language. In MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Information Technology, Brno University of Technology, 2006, p. 113-120. ISBN 80-214-3287-X.
      More: https://is.muni.cz/publication/702295/en
    2. Operational Semantics of Quantum Programming Language LanQ
      MLNAŘÍK, Hynek. Operational Semantics of Quantum Programming Language LanQ. Brno: FI MU, 2006, 43 pp. Technical Reports.
      More: https://is.muni.cz/publication/706560/en

    2005

    1. Towards a Categorical Semantics of a High-level Quantum Programming Language
      MLNAŘÍK, Hynek. Towards a Categorical Semantics of a High-level Quantum Programming Language. In Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics, Masaryk University, 2005, p. 17-23.
      More: https://is.muni.cz/publication/608146/en
Display details
Displayed: 10/9/2024 10:06