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...

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän: Abramsky, S, Barbosa, RS, de Silva, N, Zapata, O
Materialtyp: Conference item
Publicerad: Schloss Dagstuhl – Leibniz Center for Informatics 2017