vix.ing · top · new · best · stats · spec

Jules Jacobs

  1. Fast Coalgebraic Bisimilarity Minimization
    2022/04/26 by Jules Jacobs, Thorsten Wißmann, Jacobs, Jules +1 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory