Vehlken, Fabian

1. Iltis: Learning Logic in the Web
   2021/05/12 by Gaetano Geck, Geck, Gaetano, Christine Quenkert +11 · 1 citation
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. 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)
3. Tool-Assisted Learning of Computational Reductions
   2024/07/25 by Kneisel, Tristan, Radtke, Elias, Schmellenkamp, Marko +2 · 1 citation
   #Computers and Society (cs.CY) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)