The quantum monad on relational structures

Homomorphisms between relational structures play a central role in finite model theory, constraint satisfaction, and database theory. A central theme in quantum computation is to show how quantum resources can be used to gain advantage in information processing tasks. In particular, non-local games...

Täydet tiedot

Bibliografiset tiedot
Päätekijät: Abramsky, S, Barbosa, RS, de Silva, N, Zapata, O
Aineistotyyppi: Conference item
Julkaistu: Schloss Dagstuhl – Leibniz Center for Informatics 2017