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

Klaus‐Dieter Schewe

  1. Insignificant Choice Polynomial Time: A Logic Capturing PTIME
    2020/05/10 by Klaus-Dieter Schewe, Klaus‐Dieter Schewe, Schewe, Klaus-Dieter · 2 voices
    Computer Science · #Formal Methods in Verification #Distributed systems and fault tolerance #semigroups and automata theory