Natural quantum operational semantics with predicates

Sawerwain, Marek; Gielerak, Roman

Pobierz

Tytuł: Natural quantum operational semantics with predicates

Podtytuł:

Tytuł publikacji grupowej:

AMCS, volume 18 (2008)

Abstract:

A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight generalisation of D'Hondt and Panagaden`s theorem about the quantum weakest precondition in terms of discrete support positive operator-valued measures.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Identyfikator zasobu:

oai:zbc.uz.zgora.pl:78722

DOI:

10.2478/v10006-008-0031-x

Strony:

341-359

Źródło:

AMCS, volume 18, number 3 (2008) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Licencja CC BY 4.0:

kliknij tutaj, żeby przejść

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego

Temat i słowa kluczowe:

quantum computation predicate notion for quantum programs quantum labelled transition systems

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

14 lip 2025

Data dodania obiektu:

5 kwi 2024

Liczba wyświetleń treści obiektu:

Wszystkie dostępne wersje tego obiektu:

https://zbc.uz.zgora.pl/repozytorium/publication/88484

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

International Journal of Applied Mathematics and Computer Science (AMCS)

Nazwa wydania	Data
Natural quantum operational semantics with predicates	14 lip 2025

Dane kontaktowe

Obiekt

Tytuł: Natural quantum operational semantics with predicates

Autor:

Data wydania:

Typ zasobu:

Współtwórca:

Podtytuł:

Tytuł publikacji grupowej:

Abstract:

Wydawca:

Identyfikator zasobu:

DOI:

Strony:

Źródło:

Jezyk:

Licencja CC BY 4.0:

Prawa do dysponowania publikacją:

Temat i słowa kluczowe:

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

Data dodania obiektu:

Liczba wyświetleń treści obiektu:

Wszystkie dostępne wersje tego obiektu:

Wyświetl opis w formacie RDF:

Wyświetl opis w formacie OAI-PMH:

Obiekty Podobne

podobne w FBC

Cytowanie

Dane kontaktowe

Adres

Telefon

E-Mail

Odwiedź nas!

Mapa strony

Strona główna

Kolekcje

Indeksy

Informacje

Konto użytkownika

Historia przeglądania

Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 272 obiektów cyfrowych

Obiekt

Tytuł: Natural quantum operational semantics with predicates

Autor:

Data wydania:

Typ zasobu:

Współtwórca:

Podtytuł:

Tytuł publikacji grupowej:

Abstract:

Wydawca:

Identyfikator zasobu:

DOI:

Strony:

Źródło:

Jezyk:

Licencja CC BY 4.0:

Prawa do dysponowania publikacją:

Temat i słowa kluczowe:

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

Data dodania obiektu:

Liczba wyświetleń treści obiektu:

Wszystkie dostępne wersje tego obiektu:

Wyświetl opis w formacie RDF:

Wyświetl opis w formacie OAI-PMH:

Obiekty Podobne

podobne w FBC

Cytowanie

Dane kontaktowe

Adres

Telefon

E-Mail

Odwiedź nas!