Filtrování

    2008

    1. Semantics of quantum programming language LanQ J - Článek v odborném periodiku
      MLNAŘÍK, Hynek. Semantics of quantum programming language LanQ. International Journal of Quantum Information. World Scientific, 2008, roč. 6, 1 supp, s. 733-738. ISSN 0219-7499.
      Podrobněji: https://is.muni.cz/publication/773897/cs

    2007

    1. Quantum Programming Language LanQ G - Technicky realizované výsledky (prototyp, funkční vzorek)
      MLNAŘÍK, Hynek. Quantum Programming Language LanQ. 2007.
      Podrobněji: https://is.muni.cz/publication/723489/cs

    2006

    1. LanQ - an Imperative Quantum Programming Language D - Stať ve sborníku
      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, s. 113-120. ISBN 80-214-3287-X.
      Podrobněji: https://is.muni.cz/publication/702295/cs
    2. Operational Semantics of Quantum Programming Language LanQ B - Odborná kniha
      MLNAŘÍK, Hynek. Operational Semantics of Quantum Programming Language LanQ. Brno: FI MU, 2006, 43 s. Technical Reports.
      Podrobněji: https://is.muni.cz/publication/706560/cs

    2005

    1. Towards a Categorical Semantics of a High-level Quantum Programming Language D - Stať ve sborníku
      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, s. 17-23.
      Podrobněji: https://is.muni.cz/publication/608146/cs
Zobrazit podrobně