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...
Asıl Yazarlar: | Abramsky, S, Barbosa, RS, de Silva, N, Zapata, O |
---|---|
Materyal Türü: | Conference item |
Baskı/Yayın Bilgisi: |
Schloss Dagstuhl – Leibniz Center for Informatics
2017
|
Benzer Materyaller
-
The Expectation Monad in Quantum Foundations
Yazar:: Bart Jacobs, ve diğerleri
Baskı/Yayın Bilgisi: (2012-10-01) -
Relative Monads Formalised
Yazar:: Thorsten Altenkirch, ve diğerleri
Baskı/Yayın Bilgisi: (2014-07-01) -
On the Automation of Encoding Processes in the Quantum IO Monad
Yazar:: James Barratt
Baskı/Yayın Bilgisi: (2012-10-01) -
Monadic decomposabily of regular relations
Yazar:: Barceló, P, ve diğerleri
Baskı/Yayın Bilgisi: (2019) -
Corecursive Algebras, Corecursive Monads and Bloom Monads
Yazar:: Jiří Adámek, ve diğerleri
Baskı/Yayın Bilgisi: (2014-09-01)