Concurrency in interaction nets and graph rewriting

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Completeness of MLL Proof-Nets w.r.t. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
Applying a logical interpretation of semantic nets and graph grammars to natural language parsing and understanding.Eero Hyvönen - 1986 - Synthese 66 (1):177 - 190.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Interaction graphs: Multiplicatives.Thomas Seiller - 2012 - Annals of Pure and Applied Logic 163 (12):1808-1837.
Modularity of proof-nets.Roberto Maieli & Quintijn Puite - 2005 - Archive for Mathematical Logic 44 (2):167-193.
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
On best transitive approximations to simple graphs.Leon Horsten - unknown
Bootstrapping the PC and CPC Algorithms to Improve Search Accuracy.Joseph Ramsey - unknown
Protein-protein interactions: Making sense of networks via graph-theoretic modeling.Nataša Pržulj - 2011 - Bioessays 33 (2):115-123.
Isomorphisms and nonisomorphisms of graph models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
A formal framework for representing mechanisms?Alexander Gebharter - 2014 - Philosophy of Science 81 (1):138-153.
Graph Spectra for Communications in Biological and Carbon Nanotube Networks.Stephen F. Bush & Sanjay Goel - forthcoming - Ieee Journal on Selected Areas in Communications:1--10.
Mathematical methods for inferring regulatory networks interactions: Application to genetic regulation.J. Aracena & J. Demongeot - 2004 - Acta Biotheoretica 52 (4):391-400.
Well (and better) quasi-ordered transition systems.Parosh Aziz Abdulla - 2010 - Bulletin of Symbolic Logic 16 (4):457-515.

Analytics

Added to PP
2015-05-01

Downloads
5 (#1,543,447)

6 months
1 (#1,475,915)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references