TU Wien Informatics

Role

2022S

 

  • Inductive Benchmarks for Automated Reasoning / M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov / Talk: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Timisoara, Romania; 2021-07-26 - 2021-07-31; in: "Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM)", F. Kamareddine, C. Sacerdoti Coen (ed.); Springer LNCS, 12833 (2021), 124 - 129
  • Automating Induction by Reflection / J. Schoisswohl, L. Kovacs / Talk: 16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), Pittsburgh, USA; 2021-07-16; in: "Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)", E. Pimentel, E. Tassi (ed.); EPTCS, 337 (2021), 39 - 54
  • Automated induction by reflection / Master Thesis by J. Schoisswohl / Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, FORSYTE division, 2021; final examination: 2021-01-11