The Sequent Calculus Calculator
Studiengang
Informatik
Art der Arbeit
Bachelorarbeit
Verfasser/in
Mike Marti
Matteo Kamm
Matteo Kamm
Referent/in
Prof. Dr. Farhad D. Mehta
Experte
Dr. Hermann Lehner
/ ETH Zürich, Zürich ETH-Zentrum
Institut
Institut für Software
Jahr
2019