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

Lazić, Ranko

  1. A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One
    2016/02/17 by Göller, Stefan, Haase, Christoph, Lazić, Ranko +1 · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)