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

Hara, Masaki

  1. Categorical Liveness Checking by Corecursive Algebras
    2017/04/17 by Urabe, Natsuki, Hara, Masaki, Hasuo, Ichiro · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)