Quantifiers on languages and codensity monads

Quantifiers on languages and codensity monads

Show other versions (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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Gehrke, M, Petrişan, D, Reggio, L
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	IEEE 2017

Eitemau Tebyg

Quantifiers on languages and codensity monads
gan: Gehrke, M, et al.
Cyhoeddwyd: (2021)

Codensity Lifting of Monads and its Dual
gan: Shin-ya Katsumata, et al.
Cyhoeddwyd: (2018-10-01)

Codensity, profiniteness and algebras of semiring-valued measures
gan: Reggio, L
Cyhoeddwyd: (2019)

Codensity games for bisimilarity
gan: Komorida, Y, et al.
Cyhoeddwyd: (2022)

Companions, Causality and Codensity
gan: Damien Pous, et al.
Cyhoeddwyd: (2019-08-01)

The Schützenberger product for syntactic spaces
gan: Gehrke, M, et al.
Cyhoeddwyd: (2016)

Water-cooled refrigerant codensers, remote type
gan: 11061 Air-Conditioning and Refrigeration Institute (United States)

Commercial and industrial unitary air-conditioning codensing units
gan: 11061 Air-Conditioning and Refrigeration Institute (United States)

Remote mechanical-draft air-cooled refrigerant codensers
gan: 11061 Air-Conditioning and Refrigeration Institute (United States)

On Second-Order Monadic Monoidal and Groupoidal Quantifiers
gan: Juha Kontinen, et al.
Cyhoeddwyd: (2010-09-01)

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

Monadic Second Order Logic with Measure and Category Quantifiers
gan: Matteo Mio, et al.
Cyhoeddwyd: (2018-04-01)

Multi-valued codensing random operators and functional random integral inclusions
gan: Bapurao C. Dhage
Cyhoeddwyd: (2011-01-01)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
gan: Barany, V, et al.
Cyhoeddwyd: (2010)

Corecursive Algebras, Corecursive Monads and Bloom Monads
gan: Jiří Adámek, et al.
Cyhoeddwyd: (2014-09-01)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Of Tactics and Monads
gan: Martin, A
Cyhoeddwyd: (1996)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Effects Without Monads: Non-determinism – Back to the Meta Language
gan: Oleg Kiselyov
Cyhoeddwyd: (2019-05-01)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
gan: Gottlob, G, et al.
Cyhoeddwyd: (2002)

Monadic datalog and the expressive power of languages for Web information extraction
gan: Gottlob, G, et al.
Cyhoeddwyd: (2004)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
gan: Gottlob, G, et al.
Cyhoeddwyd: (2002)

MONAD KAVRAMININ TEMELLERİ
gan: Deniz Soysal
Cyhoeddwyd: (2009-07-01)

Monadic Effect Algebras
gan: Yuxi Zou, et al.
Cyhoeddwyd: (2022-01-01)

Monads need not be endofunctors
gan: Thosten Altenkirch, et al.
Cyhoeddwyd: (2015-03-01)

Monad Metrizable Space
gan: Orhan Göçür
Cyhoeddwyd: (2020-10-01)

On Discrete Presheaf Monads
gan: Gao Zhang, et al.
Cyhoeddwyd: (2023-06-01)

On saturated prefilter monads
gan: Gao Zhang, et al.
Cyhoeddwyd: (2023-02-01)

Notions of Monad Strength
gan: Philip Mulry
Cyhoeddwyd: (2013-09-01)

Relative Monads Formalised
gan: Thorsten Altenkirch, et al.
Cyhoeddwyd: (2014-07-01)

Deriving monad transformers
gan: Hinze, R
Cyhoeddwyd: (1999)

Entangled State Monads
gan: Cheney, J, et al.
Cyhoeddwyd: (2014)

Reflections on monadic lenses
gan: Abou-Saleh, F, et al.
Cyhoeddwyd: (2016)

Monadic decomposabily of regular relations
gan: Barceló, P, et al.
Cyhoeddwyd: (2019)

The monadic theory of toric words
gan: Berthé, V, et al.
Cyhoeddwyd: (2024)

The quantum monad on relational structures
gan: Abramsky, S, et al.
Cyhoeddwyd: (2017)