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