A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/82746524.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Logical string rewriting
<span title="">2001</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a>
</i>
Preserved Fulltext
A logical analysis of string manipulation systems is presented that provides a uniÿcation of many formalisms and suggests a framework for the investigation of complex discrete dynamics. Namely, several characterizations of computational universality are given in terms of logical representability within models and theories; moreover, combinatorial schemata, as a formal counterpart of DNA basic recombinant mechanisms, are logically expressed. In this way a general deÿnition of derivation systems
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(00)00212-7">doi:10.1016/s0304-3975(00)00212-7</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eodxbzphpjearfjubkufe5zfpm">fatcat:eodxbzphpjearfjubkufe5zfpm</a>
</span>
more »
... s given to which many classical systems can be easily reduced, and where some regulation mechanisms can be naturally represented. As a further consequence, systematic methods are provided for translating derivation systems into monoidal theories. Finally, new possibilities of this logical approach are outlined in the formalization of molecule manipulation systems inspired by chemical and biochemical processes.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190330023849/https://core.ac.uk/download/pdf/82746524.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/8f/df/8fdf4b9ecb84f64d7ffe8d323892584e0a450bcc.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(00)00212-7">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>