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

Czerwinski, Wojciech

  1. The Reachability Problem for Petri Nets is Not Elementary
    2018/09/19 by Czerwinski, Wojciech, Lasota, Slawomir, Lazic, Ranko +2 · 6 citations
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)