© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A r=1 two-state Cellular Automata that Classifies Density
M Capcarrere, M Tomassinin, and M Sipper
Physical Review Letters, 77(24):182-196, 1996.Bibtex Record
@article{1665,
author = {M Capcarrere and M Tomassinin and M Sipper},
title = {{A r=1 two-state Cellular Automata that Classifies Density}},
month = {unknown},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/1665},
publication_type = {article},
submission_id = {22099_1059471370},
other_year = {1996},
journal = {Physical Review Letters},
volume = {77},
number = {24},
}