Induction with Recursive Definitions in Superposition (bibtex)
by Márton Hajdu, Petra Hozzová, Laura Kovács, Andrei Voronkov
Reference:
Induction with Recursive Definitions in SuperpositionMárton Hajdu, Petra Hozzová, Laura Kovács, Andrei VoronkovProceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021, pages 246–255, 2021.
Bibtex Entry:
@inproceedings{HajHozKovVor21,
  title={Induction with Recursive Definitions in Superposition},
  author={Hajdu, M{\'a}rton and Hozzov{\'a}, Petra and Kov{\'a}cs, Laura and Voronkov, Andrei},
  booktitle={Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design -- FMCAD 2021},
  pages={246--255},
  year={2021},
  published={TU Wien Academic Press},
  url={https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_34},
}
Powered by bibtexbrowser