A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377--394. World Scientific Publishing Co., 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Agents via Mixed-mode Computation in Linear Logic - Harland, Winikoff (2004) (1 citation) (Correct)
....may be thought of as generalisations of the boolean value true, and for O and are written as and 0, and which may be thought of as generalisations of the boolean value false. There is far more to linear logic than can be discussed in this paper; for a more complete introduction see the papers [15, 16, 42, 2], among others. The sequent calculus for linear logic is given in Appendix A. 2.3. Logic Programming in Linear Logic There has been a signi cant amount of work on logic programming languages based on linear logic, including LO [6] Lolli [20] LinLog [4] Forum [31] and Lygon [17] Such ....
A. Scedrov, A Brief Guide to Linear Logic, in Current Trends in Theoretical Computer Science, G. Rozenberg and A. Salolmaa (eds.), World Scienti c, 1993.
Language Design Issues for Agents based on Linear Logic.. - Harland, Winikoff (5 citations) (Correct)
....be thought of as generalisations of the boolean value true, and for O and are written as and 0, and which may be thought of as generalisations of the boolean value false. There is far more to linear logic than can be discussed in this paper; for a more complete introduction see the papers [2, 10, 11, 31], among others. A part of the sequent calculus for linear logic is given in Appendix A. 2.3 Logic Programming in Linear Logic The execution models on which these languages are based have generally been based on backward chaining, i.e. given a number of statements (or formulae) which make up the ....
A. Scedrov, A Brief Guide to Linear Logic, in Current Trends in Theoretical Computer Science, G. Rozenberg and A. Salolmaa (eds.), World Scientific, 1993.
Language Design Issues for Agents based on Linear Logic.. - Harland, Winikoff (5 citations) (Correct)
....be thought of as generalisations of the boolean value true, and for O and are written as and 0, and which may be thought of as generalisations of the boolean value false. There is far more to linear logic than can be discussed in this paper; for a more complete introduction see the papers [2, 10, 11, 31], among others. A part of the sequent calculus for linear logic is given in Appendix A. 2.3 Logic Programming in Linear Logic The execution models on which these languages are based have generally been based on backward chaining, i.e. given a number of statements (or formulae) which make up the ....
A. Scedrov, A Brief Guide to Linear Logic, in Current Trends in Theoretical Computer Science, G. Rozenberg and A. Salolmaa (eds.), World Scientific, 1993.
Decision Problems for Second-Order Linear Logic - Lincoln, Scedrov, Shankar (1995) (6 citations) Self-citation (Scedrov) (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377--394. World Scientific Publishing Co., 1993.
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) Self-citation (Scedrov) (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. Bulletin of the European Assoc. for Theoretical Computer Science, 41:154--165, June 1990.
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) Self-citation (Scedrov) (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. Bulletin of the European Assoc. for Theoretical Computer Science, 41:154--165, June 1990.
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) Self-citation (Scedrov) (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. Bulletin of the European Assoc. for Theoretical Computer Science, 41:154--165, June 1990.
Unknown - Linear Logic Programming (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377--394. World Scientific Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154--165.
Termination - As The Example (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377--394. World Scientific Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154--165.
Unknown - Linear Type Theory (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377--394. World Scientific Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154--165.
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377--394. World Scientific Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154--165.
Unknown - Linear Calculus In (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377--394. World Scientific Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154--165.
Unknown - Sequent Calculus In (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Some Theory and Applications of Linear Logic - Cs Project Report (Correct)
No context found.
Andre Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science. World Scienti c Publishing Co., 1993.
Unknown - Linear Logic Programming (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Unknown - Linear Type Theory (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Unknown - Linear Natural Deduction (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
If ; ; =) A + then ; =) A. - If Then Proof (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Unknown - Linear Calculus In (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Unknown - Proof Search Linear (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Unknown - Sequent Calculus In (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Unknown - Sequent Calculus In (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Linear Type Checking - The Typing Rules (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
Termination - As The Example (Correct)
No context found.
A. Scedrov. A brief guide to linear logic. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, pages 377-394. World Scienti c Publishing Company, 1993. Also in Bulletin of the European Association for Theoretical Computer Science, volume 41, pages 154-165.
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