© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Genetic programming with primitive recursion
Stefan Kahrs
In Maarten Keijzer and et. al., editors, 8th annual conference on Genetic and evolutionary computation, volume 1, pages 182-196. ACM SIGEVO, ACM Press, July 2006.Bibtex Record
@inproceedings{2436, author = {Stefan Kahrs}, title = {Genetic programming with Primitive Recursion}, month = {July}, year = {2006}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2006/2436}, publication_type = {inproceedings}, submission_id = {9955_1159439966}, ISBN = {1-59593-186-4}, booktitle = {8th annual conference on Genetic and evolutionary computation}, volume = {1}, organization = {ACM SIGEVO}, publisher = {ACM Press}, refereed = {Yes}, editor = {Maarten Keijzer and et. al.}, }