Quantifiers on languages and codensity monads

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