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)

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)

On Second-Order Monadic Monoidal and Groupoidal Quantifiers
著者:: Juha Kontinen, 等
出版事項: (2010-09-01)

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

Monadic Second Order Logic with Measure and Category Quantifiers
著者:: Matteo Mio, 等
出版事項: (2018-04-01)

Multi-valued codensing random operators and functional random integral inclusions
著者:: Bapurao C. Dhage
出版事項: (2011-01-01)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
著者:: Barany, V, 等
出版事項: (2010)

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)

Relative Monads Formalised
著者:: Thorsten Altenkirch, 等
出版事項: (2014-07-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)