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