Digital Library of Zielona Góra contains 9 387 digital objects
Search for: [Subject and Keywords = quantum computation] OR [Subject and Keywords = predicate notion for quantum programs] OR [Subject and Keywords = quantum labelled transition systems] OR [Title = Natural quantum operational semantics with predicates] OR [Creator = Sawerwain, Marek] OR [Creator = Gielerak, Roman]
Number of results: 3
AMCS, volume 29 (2019)
Sawerwain, Marek Wróblewski, Marek Gamper, Johann - ed. Wrembel, Robert - ed.
2019
artykuł
AMCS, volume 35 (2025)
Sawerwain, Marek Kowal, Marek Korbicz, Józef (1951- ) Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2025
artykuł
AMCS, volume 30 (2020)
Wiśniewska, Joanna Sawerwain, Marek Obuchowicz, Andrzej Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2020
artykuł
