๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Logic, biology and automata-some historical reflections

โœ Scribed by A.W. Burks


Publisher
Elsevier Science
Year
1975
Weight
835 KB
Volume
7
Category
Article
ISSN
0020-7373

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Some applications of propositional logic
โœ Stefano Cavagnetto ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 154 KB

## Abstract In this paper we give a new proof of Richardson's theorem [31]: a global function __G__~๐”ธ~ of a cellular automaton ๐”ธ is injective if and only if the inverse of __G__~๐”ธ~ is a global function of a cellular automaton. Moreover, we show a way how to construct the inverse cellular automaton