11 citations · 36 across the 25 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration
Stefan Milius, Jiří Adámek, Henning Urbat
For every finitary monad on sets and every endofunctor on the category of -algebras we introduce the concept of an ffg-Elgot algebra for , that is, an algebra admitti…
cs.FL2019★ 2 cited
Automata Learning: An Algebraic Approach
Henning Urbat, Lutz Schröder
We propose a generic categorical framework for learning unknown formal languages of various types (e.g. finite or infinite words, weighted and nominal languages). Our approach is p…
cs.FL2019★ 1 cited
Varieties of Data Languages
Henning Urbat, Stefan Milius
We establish an Eilenberg-type correspondence for data languages, i.e. languages over an infinite alphabet. More precisely, we prove that there is a bijective correspondence betwee…