Theoretical Computer Science

Academic Activities and Achievements 2023

Supervision of Student Theses

  • Moser, Georg: Maringele, Alexander: Instantiation-based First-Order Theorem Proving with Equality (2015 - 2023).