TU Wien Informatics

Role

2021W

 

  • Induction with Recursive Definitions in Superposition / M. Hajdu, P. Hozzova, L. Kovacs, A. Voronkov / Talk: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021, New Haven, Connecticut, USA; 2021-10-19 - 2021-10-22; in: "Proceedings of the 21st International Conference on Formal Methods in Computer Aided Design (FMCAD)", R. Piskac, M. Wahlen (ed.); TU Wien Academic Press, 2 (2021), ISBN: 978-3-85448-046-4; 1 - 10
  • 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 inductive reasoning with recursive functions / Master Thesis by M. Hajdu / Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, FORSYTE division, 2021; final examination: 2021-03-25
  • Induction with Generalization in Superposition Reasoning / M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov / Talk: Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM), Bertinoro, Italy; 2020-07-26 - 2020-07-31; in: "Proceedings of the 13th International Conference on Intelligent Computer Mathematics", Lecture Notes in Computer Science, Springer, 12236 (2020), ISBN: 978-0-9835678-9-9; 123 - 137