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

Andreas Herzig

  1. DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE
    2014/11/28 by Philippe Balbiani, Balbiani, Philippe, Andreas Herzig +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO