2 papers
cs.DS2022
Distributed Coalgebraic Partition Refinement
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
Partition refinement is a method for minimizing automata and transition systems of various types. Recently, a new partition refinement algorithm and associated tool CoPaR were deve…
cs.FL2020
On Language Varieties Without Boolean Operations
Fabian Birkmann, Stefan Milius, Henning Urbat
Eilenberg's variety theorem marked a milestone in the algebraic theory of regular languages by establishing a formal correspondence between properties of regular languages and prop…