Vortmeier, Nils

1. Specification and Automatic Verification of Computational Reductions
   2024/07/04 by Grange, Julien, Vehlken, Fabian, Vortmeier, Nils +1 · 1 citation
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)