cl-banner

Termination Tools in Automated Reasoning


Although the foundations of computers rely on the logical principles, logical reasoning, i.e., the ability to draw conclusions from certain facts, is something they have yet to be taught. The research area of automated reasoning deals with the development of respective software systems, which is also the topic of this PhD project.

 Members
  • Sarah Winkler
ÖAW project number

Doc-fForte

  Contact

sahra.winkler@uibk.ac.at

Publications
Nach oben scrollen