10.6084/m9.figshare.1032660.v1
Marius Buliga
Marius
Buliga
Zipper logic
figshare
2014
graph rewrite
graphic lambda calculus
chemical concrete machine
combinatory logic
lambda calculus
artificial chemistry
chemlambda
glc
Theoretical Computer Science
Cheminformatics
Computation Theory and Mathematics
Distributed Computing
2014-05-21 12:54:25
Journal contribution
https://figshare.com/articles/journal_contribution/Zipper_logic/1032660
<p>Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article.</p>