Quantifiers on languages and codensity monads

Quantifiers on languages and codensity monads

Показать другие версии (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...

Полное описание

Библиографические подробности
Главные авторы:	Gehrke, M, Petrişan, D, Reggio, L
Формат:	Conference item
Язык:	English
Опубликовано:	IEEE 2017

Схожие документы

Quantifiers on languages and codensity monads
по: Gehrke, M, и др.
Опубликовано: (2021)

Codensity Lifting of Monads and its Dual
по: Shin-ya Katsumata, и др.
Опубликовано: (2018-10-01)

Codensity, profiniteness and algebras of semiring-valued measures
по: Reggio, L
Опубликовано: (2019)

Codensity games for bisimilarity
по: Komorida, Y, и др.
Опубликовано: (2022)

Companions, Causality and Codensity
по: Damien Pous, и др.
Опубликовано: (2019-08-01)

The Schützenberger product for syntactic spaces
по: Gehrke, M, и др.
Опубликовано: (2016)

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

On Second-Order Monadic Monoidal and Groupoidal Quantifiers
по: Juha Kontinen, и др.
Опубликовано: (2010-09-01)

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

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

Monadic Second Order Logic with Measure and Category Quantifiers
по: Matteo Mio, и др.
Опубликовано: (2018-04-01)

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

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
по: Barany, V, и др.
Опубликовано: (2010)

Multi-valued codensing random operators and functional random integral inclusions
по: Bapurao C. Dhage
Опубликовано: (2011-01-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
по: Jiří Adámek, и др.
Опубликовано: (2014-09-01)

Monads for behaviour
по: Piróg, M, и др.
Опубликовано: (2013)

Monads for behaviour
по: Piróg, M, и др.
Опубликовано: (2013)

Of Tactics and Monads
по: Martin, A
Опубликовано: (1996)

The coinductive resumption monad
по: Piróg, M, и др.
Опубликовано: (2014)

The coinductive resumption monad
по: Piróg, M, и др.
Опубликовано: (2014)

Monadic Datalog Containment
по: Benedikt, M, и др.
Опубликовано: (2012)

Monadic Datalog Containment
по: Benedikt, M, и др.
Опубликовано: (2012)

Effects Without Monads: Non-determinism – Back to the Meta Language
по: Oleg Kiselyov
Опубликовано: (2019-05-01)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
по: Gottlob, G, и др.
Опубликовано: (2002)

Monadic datalog and the expressive power of languages for Web information extraction
по: Gottlob, G, и др.
Опубликовано: (2004)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
по: Gottlob, G, и др.
Опубликовано: (2002)

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)

Deriving monad transformers
по: Hinze, R
Опубликовано: (1999)

Entangled State Monads
по: Cheney, J, и др.
Опубликовано: (2014)

Reflections on monadic lenses
по: Abou-Saleh, F, и др.
Опубликовано: (2016)

Monadic decomposabily of regular relations
по: Barceló, P, и др.
Опубликовано: (2019)

The monadic theory of toric words
по: Berthé, V, и др.
Опубликовано: (2024)

The quantum monad on relational structures
по: Abramsky, S, и др.
Опубликовано: (2017)

Algorithm design with the selection monad
по: Hartmann, J, и др.
Опубликовано: (2023)