BibTeX record conf/aaip/Diehl11

download as .bib file

@inproceedings{DBLP:conf/aaip/Diehl11,
  author       = {Larry Diehl},
  editor       = {Emanuel Kitzelmann and
                  Ute Schmid},
  title        = {Verified Stack-Based Genetic Programming via Dependent Types},
  booktitle    = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
                  and Applications of Inductive Programming, Odense, Denmark, July 19,
                  2011},
  pages        = {17--32},
  year         = {2011},
  url          = {https://cogsys.uni-bamberg.de/events/aaip11/accepted/diehl.pdf},
  timestamp    = {Wed, 09 Nov 2022 17:31:54 +0100},
  biburl       = {https://dblp.org/rec/conf/aaip/Diehl11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.