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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Gehrke, M, Petrişan, D, Reggio, L
Format:	Conference item
Sprog:	English
Udgivet:	IEEE 2017

Lignende værker

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

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

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

Codensity games for bisimilarity
af: Komorida, Y, et al.
Udgivet: (2022)

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

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

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

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

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

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

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

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

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

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

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

Monads for behaviour
af: Piróg, M, et al.
Udgivet: (2013)

Monads for behaviour
af: Piróg, M, et al.
Udgivet: (2013)

Of Tactics and Monads
af: Martin, A
Udgivet: (1996)

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

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

Monadic Datalog Containment
af: Benedikt, M, et al.
Udgivet: (2012)

Monadic Datalog Containment
af: Benedikt, M, et al.
Udgivet: (2012)

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

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

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

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

MONAD KAVRAMININ TEMELLERİ
af: Deniz Soysal
Udgivet: (2009-07-01)

Monadic Effect Algebras
af: Yuxi Zou, et al.
Udgivet: (2022-01-01)

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

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

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

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

Deriving monad transformers
af: Hinze, R
Udgivet: (1999)

Entangled State Monads
af: Cheney, J, et al.
Udgivet: (2014)

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

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

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

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

Algorithm design with the selection monad
af: Hartmann, J, et al.
Udgivet: (2023)

Smart Choices and the Selection Monad
af: Martin Abadi, et al.
Udgivet: (2023-04-01)