© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Dynamical Hierarchies
T Lenaerts, D Chu, and R Watson
Artificial Life, 11(4):182-196, January 2005.Bibtex Record
@article{2703,
author = {T Lenaerts and D Chu and R Watson},
title = {{D}ynamical {H}ierarchies},
month = {January},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2703},
publication_type = {article},
submission_id = {13336_1207136440},
ISSN = {1064-5462},
journal = {Artificial Life},
volume = {11},
number = {4},
publisher = {MIT Press},
}