© 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.},
}