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

    2006

    1. 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