Johannes Schoisswohl

PhD student

Group	Automated Program Reasoning
Room	Office HA 03 12 (Show FORSYTE location)
Email	johannes.schoisswohl@tuwien.ac.at
Other links	dblp

Induction with generalization in superposition reasoning
Marton Hajdu, Petra Hozzova, Laura Kovacs, Johannes Schoisswohl, Andrei Voronkov.
Proceedings of the 13th international conference on intelligent computer mathematics, pages 123-137, 2020.
[pdf] [doi]

---