Filtrování

    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, roč. 6, 1 supp, s. 733-738. ISSN 0219-7499.
      Název česky: Sémantika kvantového programovacího jazyka LanQ
      RIV/00216224:14330/08:00024848 Článek v odborném periodiku. Informatika. angličtina. Singapur.
      Mlnařík, Hynek (203 Česká republika, garant)
      Klíčová slova anglicky: LanQ; quantum programming language; quantum process algebra; semantics
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 4. 8. 2008 12:18.
      Podrobněji: https://is.muni.cz/publication/773897/cs

    2007

    1. Quantum Programming Language LanQ
      MLNAŘÍK, Hynek. Quantum Programming Language LanQ. 2007.
      URL
      Název česky: Kvantový programovací jazyk LanQ
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: quantum programming language; quantum programming; LanQ
      Mezinárodní význam: ano
      Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 20. 2. 2008 10:26.
      Podrobněji: https://is.muni.cz/publication/723489/cs

    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, s. 113-120. ISBN 80-214-3287-X.
      MEMICS '06 site
      Název česky: LanQ - imperativní kvantový programovací jazyk
      RIV/00216224:14330/06:00015990 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Mlnařík, Hynek (203 Česká republika, garant)
      Klíčová slova anglicky: quantum programming language; quantum information processing
      Recenzováno: ano
      Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 21. 11. 2006 10:19.
      Podrobněji: https://is.muni.cz/publication/702295/cs
    2. Operational Semantics of Quantum Programming Language LanQ
      MLNAŘÍK, Hynek. Operational Semantics of Quantum Programming Language LanQ. Brno: FI MU, 2006, 43 s. Technical Reports.
      URL
      Název česky: Operační sémantika kvantového programovacího jazyka LanQ
      RIV/00216224:14330/06:00016192 Odborná kniha. Informatika. angličtina. Česká republika.
      Mlnařík, Hynek (203 Česká republika, garant)
      Klíčová slova anglicky: LanQ;quantum programming language;quantum process algebra
      Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 21. 12. 2006 15:28.
      Podrobněji: https://is.muni.cz/publication/706560/cs

    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, s. 17-23.
      Název česky: Kategorická sémantika kvantového programovacího jazyka vyššího úrovně
      RIV/00216224:14330/05:00013063 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Mlnařík, Hynek (203 Česká republika, garant)
      Klíčová slova anglicky: quantum programming language; categorical semantics
      Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 21. 11. 2006 10:21.
      Podrobněji: https://is.muni.cz/publication/608146/cs