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 Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Linear Logic As A Framework For Specifying Sequent - Calculus Dale Miller Self-citation (Miller) (Correct)
No context found.
Dale Miller, The -calculus as a theory in linear logic: Preliminary results, Proceedings of the 1992.
Using Linear Logic to Reason About Sequent - Systems Dale Miller Self-citation (Miller) (Correct)
No context found.
Dale Miller. The -calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the 1992 Workshop on Extensions to Logic Programming, number 660 in LNCS, pages 242--265. Springer-Verlag, 1993.
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
No context found.
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.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Dale Miller. The -calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242-265. Springer-Verlag LNCS 660, 1992.
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
D. Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proc. ELP, pages 242--265. Springer-Verlag LNCS 660, 1992.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Dale Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242--265. Springer-Verlag LNCS 660, 1992.
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
No context found.
Dale Miller. The #-calculus as a theory in linear logic: preliminary results. In E. Lamma and P. Mello, editors, Workshop on Extensions to Logic Programming, LNCS, 1992.
Labelled Event Structure Semantics of Linear Logic Planning - Kahramanogullari (Correct)
No context found.
Dale Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the 1992 Workshop on Extensions to Logic Programming, number 660 in LNCS, pages 242--265. Springer-Verlag, 1992.
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (21 citations) (Correct)
No context found.
Dale Miller. The #-calculus as a theory in linear logic: preliminary results. In E. Lamma and P. Mello, editors, Workshop on Extensions to Logic Programming, LNCS, 1992.
Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (1 citation) (Correct)
No context found.
D. Miller. The -Calculus as a Theory in Linear Logic: Preliminary Results. In Proc. of the Workshop on Extensions of Logic Programming, LNCS 660, pages 242-265, 1992. 21
Decision Problems for Second-Order Linear Logic - Lincoln, Scedrov, Shankar (1995) (6 citations) (Correct)
No context found.
D. Miller. The -calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the 1992.
First Order Linear Logic without Modalities is NEXPTIME-Hard - Lincoln, Scedrov (1994) (9 citations) (Correct)
No context found.
D. Miller. The -calculus as a theory in linear logic: Preliminary results. Technical Report MS-CIS-92-48, Computer Science Department, University of Pennsylvania, June 1992. Submitted. Available using anonymous ftp from host ftp.cis.upenn.edu and the file pub/papers/miller/pic.dvi.Z.
Unknown - Linear Logic Programming (Correct)
No context found.
D. Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242--265. SpringerVerlag LNCS 660, 1992.
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) (Correct)
No context found.
Dale Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the 1992.
Termination - As The Example (Correct)
No context found.
D. Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242--265. SpringerVerlag LNCS 660, 1992.
Unknown - Linear Type Theory (Correct)
No context found.
D. Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242--265. SpringerVerlag LNCS 660, 1992.
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
No context found.
D. Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242--265. SpringerVerlag LNCS 660, 1992.
Unknown - Linear Calculus In (Correct)
No context found.
D. Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242--265. SpringerVerlag LNCS 660, 1992.
Unknown - Sequent Calculus In (Correct)
No context found.
D. Miller. The -calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242-265. SpringerVerlag LNCS 660, 1992.
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
No context found.
D. Miller. The -calculus as a theory in linear logic: preliminary results. In E. Lamma and P. Mello, editors, Proc. of the Workshop on Extensions of
FCS'03 Preliminary Version - Encryption As An (Correct)
No context found.
D. Miller. The -calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, 1992 Workshop on Extensions to Logic Programming, LNCS 660, pages 242-265. Springer-Verlag.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Dale Miller. The #-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242--265. Springer-Verlag LNCS 660, 1992.
Unknown - Linear Logic Programming (Correct)
No context found.
D. Miller. The -calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242-265. SpringerVerlag LNCS 660, 1992.
Unknown - Linear Type Theory (Correct)
No context found.
D. Miller. The -calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242-265. SpringerVerlag LNCS 660, 1992.
Temporal Linear Logic and Its Applications - Hirai (2000) (Correct)
No context found.
D. Miller. The #-calculus as a theory in linear logic: Preliminary results. Lecture Notes in Computer Science, 660:242--265, 1993.
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