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

Franek, Peter

  1. Quasi-decidability of a Fragment of the First-order Theory of Real Numbers
    2013/09/24 by Franek, Peter, Ratschan, Stefan, Zgliczynski, Piotr · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)