Bertrand, Meven
- Coalgebraic Determinization of Alternating Automata
2018/04/07 by Meven Bertrand, Bertrand, Meven, Jurriaan Rot +1 · 1 citation
Computer Science · #F.3.2 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems