Knäuer, Simon
- ASNP: a tame fragment of existential second-order logic
2020/01/22 by Bodirsky, Manuel, Knäuer, Simon, Starke, Florian · 2 citations
#Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)