- Tytuł:
- Natural quantum operational semantics with predicates
- Autorzy:
-
Sawerwain, M.
Gierelak, R. - Data publikacji:
- 2008
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
obliczenia kwantowe
predykat
program kwantowy
kwantowy system przejścia
quantum computation
predicate notion for quantum programs
quantum labelled transition systems - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł