@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Kuldeep S. Meel's publication pages at
@COMMENT http://www.comp.nus.edu.sg/~meel/publications/
@inproceedings{DMS20,
  title={Induction Models on N},
  author={Dileep, A. and Meel, Kuldeep S. and Sabili, Ammar F.},
  booktitle=LPAR,
  month=apr,
  bib2html_dl_pdf={../Papers/lpar20.pdf},
  bib2html_pubtype={Refereed Conference},
  bib2html_rescat={Misc},
  year={2020},
  abstract={
    We generalize the definition of an Induction Model given by L. Henkin
    (1960). The main goal of the paper is to study reduction and equivalence
    between these Induction Models.
    We give a formal definition for these concepts and then prove a criterion
    which can be used to check when one Induction Model can be reduced to or is
    equivalent to another Induction Model.
    We also look at the base cases and generating functions which can give us an
    Induction Model. There are three cases which we look at depending on the
    structure of the generating functions (arbitrary, additive, multiplicative).
  },
}