Natural quantum operational semantics with predicates

Sawerwain, Marek; Gielerak, Roman

Pobierz

Tytuł: Natural quantum operational semantics with predicates

Subtitle:

Group publication title:

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.

Publisher:

Zielona Góra: Uniwersytet Zielonogórski

Resource Identifier:

oai:zbc.uz.zgora.pl:78722

DOI:

10.2478/v10006-008-0031-x

Pages:

341-359

Source:

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

Language:

eng

License CC BY 4.0:

kliknij tutaj, żeby przejść

Rights:

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:

Jul 14, 2025

Data dodania obiektu:

Apr 5, 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	Jul 14, 2025

Dane kontaktowe

Obiekt

Tytuł: Natural quantum operational semantics with predicates

Creator:

Date:

Resource Type:

Contributor:

Subtitle:

Group publication title:

Abstract:

Publisher:

Resource Identifier:

DOI:

Pages:

Source:

Language:

License CC BY 4.0:

Rights:

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

Creator:

Date:

Resource Type:

Contributor:

Subtitle:

Group publication title:

Abstract:

Publisher:

Resource Identifier:

DOI:

Pages:

Source:

Language:

License CC BY 4.0:

Rights:

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!