Miller, D., The #-calculus as a theory in linear logic: Preliminary results, in: E. Lamma and P. Mello, editors, Proc. ELP (1992), pp. 242--265. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
Labelled Event Structure Semantics of Linear Logic Planning - Kahramanogullari (Correct)
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (21 citations) (Correct)
Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (1 citation) (Correct)
Decision Problems for Second-Order Linear Logic - Lincoln, Scedrov, Shankar (1995) (6 citations) (Correct)
First Order Linear Logic without Modalities is NEXPTIME-Hard - Lincoln, Scedrov (1994) (9 citations) (Correct)
Unknown - Linear Logic Programming (Correct)
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) (Correct)
Termination - As The Example (Correct)
Unknown - Linear Type Theory (Correct)
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
Unknown - Linear Calculus In (Correct)
Unknown - Sequent Calculus In (Correct)
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
FCS'03 Preliminary Version - Encryption As An (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
Unknown - Linear Logic Programming (Correct)
Unknown - Linear Type Theory (Correct)
Temporal Linear Logic and Its Applications - Hirai (2000) (Correct)
Linear Logic As A Framework For Specifying Sequent - Calculus Dale Miller Self-citation (Miller) (Correct)
Using Linear Logic to Reason About Sequent - Systems Dale Miller Self-citation (Miller) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC