The quantum monad on relational structures

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

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Abramsky, S, Barbosa, RS, de Silva, N, Zapata, O
स्वरूप:	Conference item
प्रकाशित:	Schloss Dagstuhl – Leibniz Center for Informatics 2017

समान संसाधन

The Expectation Monad in Quantum Foundations
द्वारा: Bart Jacobs, और अन्य
प्रकाशित: (2012-10-01)

Relative Monads Formalised
द्वारा: Thorsten Altenkirch, और अन्य
प्रकाशित: (2014-07-01)

On the Automation of Encoding Processes in the Quantum IO Monad
द्वारा: James Barratt
प्रकाशित: (2012-10-01)

Monadic decomposabily of regular relations
द्वारा: Barceló, P, और अन्य
प्रकाशित: (2019)

Corecursive Algebras, Corecursive Monads and Bloom Monads
द्वारा: Jiří Adámek, और अन्य
प्रकाशित: (2014-09-01)

Of Tactics and Monads
द्वारा: Martin, A
प्रकाशित: (1996)

Monads for behaviour
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2013)

Monads for behaviour
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2013)

Monad Theory of Structural Synthesis of Mechanisms
द्वारा: Kuznetsov Sergey
प्रकाशित: (2021-01-01)

Monadic Queries over Tree−Structured Data
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2002)

Affine monads and lazy structures for Bayesian programming
द्वारा: Dash, S, और अन्य
प्रकाशित: (2023)

Deriving monad transformers
द्वारा: Hinze, R
प्रकाशित: (1999)

Monadic Datalog Containment
द्वारा: Benedikt, M, और अन्य
प्रकाशित: (2012)

The coinductive resumption monad
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2014)

Monadic Datalog Containment
द्वारा: Benedikt, M, और अन्य
प्रकाशित: (2012)

Entangled State Monads
द्वारा: Cheney, J, और अन्य
प्रकाशित: (2014)

The coinductive resumption monad
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2014)

Reflections on monadic lenses
द्वारा: Abou-Saleh, F, और अन्य
प्रकाशित: (2016)

MONAD KAVRAMININ TEMELLERİ
द्वारा: Deniz Soysal
प्रकाशित: (2009-07-01)

Monadic Effect Algebras
द्वारा: Yuxi Zou, और अन्य
प्रकाशित: (2022-01-01)

Monads need not be endofunctors
द्वारा: Thosten Altenkirch, और अन्य
प्रकाशित: (2015-03-01)

Monad Metrizable Space
द्वारा: Orhan Göçür
प्रकाशित: (2020-10-01)

On Discrete Presheaf Monads
द्वारा: Gao Zhang, और अन्य
प्रकाशित: (2023-06-01)

On saturated prefilter monads
द्वारा: Gao Zhang, और अन्य
प्रकाशित: (2023-02-01)

Notions of Monad Strength
द्वारा: Philip Mulry
प्रकाशित: (2013-09-01)

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
द्वारा: Jason P. Bell, और अन्य
प्रकाशित: (2012-05-01)

Fuzzy Type Relations and Transformation Operators Defined by Monads
द्वारा: Jiří Močkoř
प्रकाशित: (2020-10-01)

Relating Idioms, Arrows and Monads from Monoidal Adjunctions
द्वारा: Exequiel Rivas
प्रकाशित: (2018-07-01)

Monadic datalog over finite structures with bounded treewidth
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2007)

Monadic datalog over finite structures of bounded treewidth.
द्वारा: Gottlob, G, और अन्य
प्रकाशित: (2010)

Quantifiers on languages and codensity monads
द्वारा: Gehrke, M, और अन्य
प्रकाशित: (2017)

Efficient Monadic−style Backtracking
द्वारा: Hinze, R
प्रकाशित: (1996)

A Monadic Interpretation of Tactics
द्वारा: Martin, A, और अन्य
प्रकाशित: (2015)

Equivalence Problems for Monadic Schemas
द्वारा: Qualitz, Joseph E.
प्रकाशित: (2023)

The monadic theory of toric words
द्वारा: Berthé, V, और अन्य
प्रकाशित: (2024)

Deriving backtracking monad transformers
द्वारा: Hinze, R
प्रकाशित: (2000)

Quantifiers on languages and codensity monads
द्वारा: Gehrke, M, और अन्य
प्रकाशित: (2021)

Unifying Theories of Programming with Monads
द्वारा: Gibbons, J
प्रकाशित: (2012)

Arrows‚ like Monads‚ are Monoids
द्वारा: Heunen, C, और अन्य
प्रकाशित: (2006)

The Different Aspects of Monads and Mixins
द्वारा: dos Santos Oliveira, B
प्रकाशित: (2009)