Parameter nets

Artificial Intelligence 22 (3):235-267 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

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.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Completeness of MLL Proof-Nets w.r.t. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
On the Decidability of Model Checking for Several [Mu]-Calculi and Petri Nets.Javier Esparza - 1993 - LFCS, Department of Computer Science, University of Edinburgh.
Canonical proof nets for classical logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
Completeness results for linear logic on Petri nets.Uffe Engberg & Glynn Winskel - 1997 - Annals of Pure and Applied Logic 86 (2):101-135.

Analytics

Added to PP
2020-12-22

Downloads
23 (#687,034)

6 months
18 (#145,674)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Some informational aspects of visual perception.Fred Attneave - 1954 - Psychological Review 61 (3):183-193.
An opponent-process theory of color vision.Leo M. Hurvich & Dorothea Jameson - 1957 - Psychological Review 64 (6, Pt.1):384-404.
Determining optical flow.Berthold K. P. Horn & Brian G. Schunck - 1981 - Artificial Intelligence 17 (1-3):185-203.

View all 7 references / Add more references