Quantifiers on languages and codensity monads

Quantifiers on languages and codensity monads

Taispeáin leaganacha eile (1)

This paper contributes to the techniques of topoalgebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one layer of various kinds of quantifiers and prove a related Reute...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gehrke, M, Petrişan, D, Reggio, L
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	IEEE 2017

Míreanna comhchosúla

Quantifiers on languages and codensity monads
de réir: Gehrke, M, et al.
Foilsithe / Cruthaithe: (2021)

Codensity Lifting of Monads and its Dual
de réir: Shin-ya Katsumata, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Codensity, profiniteness and algebras of semiring-valued measures
de réir: Reggio, L
Foilsithe / Cruthaithe: (2019)

Codensity games for bisimilarity
de réir: Komorida, Y, et al.
Foilsithe / Cruthaithe: (2022)

Companions, Causality and Codensity
de réir: Damien Pous, et al.
Foilsithe / Cruthaithe: (2019-08-01)

The Schützenberger product for syntactic spaces
de réir: Gehrke, M, et al.
Foilsithe / Cruthaithe: (2016)

Water-cooled refrigerant codensers, remote type
de réir: 11061 Air-Conditioning and Refrigeration Institute (United States)

On Second-Order Monadic Monoidal and Groupoidal Quantifiers
de réir: Juha Kontinen, et al.
Foilsithe / Cruthaithe: (2010-09-01)

Commercial and industrial unitary air-conditioning codensing units
de réir: 11061 Air-Conditioning and Refrigeration Institute (United States)

Remote mechanical-draft air-cooled refrigerant codensers
de réir: 11061 Air-Conditioning and Refrigeration Institute (United States)

Monadic Second Order Logic with Measure and Category Quantifiers
de réir: Matteo Mio, et al.
Foilsithe / Cruthaithe: (2018-04-01)

Positive displacement refrigerant compressors, compressor units and codensing units
de réir: 11061 Air-Conditioning and Refrigeration Institute (United States)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
de réir: Barany, V, et al.
Foilsithe / Cruthaithe: (2010)

Multi-valued codensing random operators and functional random integral inclusions
de réir: Bapurao C. Dhage
Foilsithe / Cruthaithe: (2011-01-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Of Tactics and Monads
de réir: Martin, A
Foilsithe / Cruthaithe: (1996)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Effects Without Monads: Non-determinism – Back to the Meta Language
de réir: Oleg Kiselyov
Foilsithe / Cruthaithe: (2019-05-01)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2002)

Monadic datalog and the expressive power of languages for Web information extraction
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2004)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2002)

MONAD KAVRAMININ TEMELLERİ
de réir: Deniz Soysal
Foilsithe / Cruthaithe: (2009-07-01)

Monadic Effect Algebras
de réir: Yuxi Zou, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Monads need not be endofunctors
de réir: Thosten Altenkirch, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Monad Metrizable Space
de réir: Orhan Göçür
Foilsithe / Cruthaithe: (2020-10-01)

On Discrete Presheaf Monads
de réir: Gao Zhang, et al.
Foilsithe / Cruthaithe: (2023-06-01)

On saturated prefilter monads
de réir: Gao Zhang, et al.
Foilsithe / Cruthaithe: (2023-02-01)

Deriving monad transformers
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Entangled State Monads
de réir: Cheney, J, et al.
Foilsithe / Cruthaithe: (2014)

Reflections on monadic lenses
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2016)

Monadic decomposabily of regular relations
de réir: Barceló, P, et al.
Foilsithe / Cruthaithe: (2019)

The monadic theory of toric words
de réir: Berthé, V, et al.
Foilsithe / Cruthaithe: (2024)

The quantum monad on relational structures
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2017)

Algorithm design with the selection monad
de réir: Hartmann, J, et al.
Foilsithe / Cruthaithe: (2023)

Smart Choices and the Selection Monad
de réir: Martin Abadi, et al.
Foilsithe / Cruthaithe: (2023-04-01)