Ulrich Dorsch
- Efficient Coalgebraic Partition Refinement
2017/05/23 by Ulrich Dorsch, Stefan Milius, Dorsch, Ulrich +5 · 1 citation
Computer Science · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory