School of Computing

Evolutionary model tree induction

R.C. Barros, M.P. Basgalupp, D.D. Ruiz, A.C.P.L.F. de Carvalho, and A.A. Freitas

In D. Shin, editor, Applied Computing 2010: Proc. 25th Annual ACM Symposium on Applied Computing (SAC-2010), volume Vol. 2, pages 182-196. ACM Press, March 2010.

Bibtex Record

@inproceedings{3006,
author = {R.C. Barros and M.P. Basgalupp and D.D. Ruiz and A.C.P.L.F. de Carvalho and A.A. Freitas},
title = {Evolutionary model tree induction},
month = {March},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2010/3006},
    publication_type = {inproceedings},
    submission_id = {29210_1271681108},
    ISBN = {9781605586380},
    booktitle = {Applied Computing 2010: Proc. 25th Annual ACM Symposium on Applied Computing (SAC-2010)},
    editor = {D. Shin},
    volume = {Vol. 2},
    publisher = {ACM Press},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014