© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Simple Cellular Automation that Solves the Density and Ordering Problems
M Sipper, M Capcarrere, and E Ronald
International Journal of Modern Physics C, 9(7):182-196, October 1998.Bibtex Record
@article{1663,
author = {M Sipper and M Capcarrere and E Ronald},
title = {{A Simple Cellular Automation that Solves the Density and Ordering Problems}},
month = {October},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/1663},
publication_type = {article},
submission_id = {22009_1059471039},
other_year = {1998},
journal = {International Journal of Modern Physics C},
volume = {9},
number = {7},
}