Iliano Cervesato, et al.  Home/Search
Context Related
| stanford.edu/~iliano/pape...elp96.ps.gz stanford.edu/~iliano/abst...elp96.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/~ilian...byYearmain (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The design of linear logic programming languages and theorem provers opens a number of new implementation challenges not present in more traditional logic languages such as Horn clauses (Prolog) and hereditary Harrop formulas (Prolog). Among these, the problem of efficiently managing the linear context when solving a goal is of crucial importance for the use of these systems in non-trivial applications. This paper studies this problem in the case of Lolli [6] (though its results have... (Update)
Cited by: More
Relating Natural Deduction and Sequent Calculus for.. - Polakow, Pfenning (1999) (Correct)
Ordered Linear Logic Programming - Jeff Polakow And (Correct)
Linear Higher-Order Pre-Unification - Iliano Cervesato And (Correct)
Similar documents (at the sentence level):
52.2%: Efficient Resource Management for Linear Logic Proof Search - Cervesato, Hodas, Pfenning (1997) (Correct)
Active bibliography (related documents): More All
0.3: A Structured Presentation of a Closure-Based Compilation Method.. - Kwon (1997) (Correct)
0.1: The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) (Correct)
0.1: A Static Analysis of a Classical Linear Logic Programming Language - Kang (Correct)
Similar documents based on text: More All
0.3: Ecient Implementation of a Linear Logic Programming Language - Joshua Hodas And (1998) (Correct)
0.3: Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
0.3: Forum as a Logic Programming Language: Preliminary Report - Hodas, Polakow (1996) (Correct)
Related documents from co-citation: More All
20: Theoretical Computer Science (context) - Girard - 1987
16: A uniform proof-theoretic investigation of linear logic programming - Harland, Pym - 1994
13: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
BibTeX entry: (Update)
I. Cervesato, J. S. Hodas, and F. Pfenning. Efficient resource management for linear logic proof search. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proceedings of the 5th International Workshop on Extensions of Logic Programming, pages 67--81, Leipzig, Germany, Mar. 1996. Springer-Verlag LNAI 1050. http://citeseer.ist.psu.edu/article/cervesato96efficient.html More
@inproceedings{ cervesato96efficient,
author = "Iliano Cervesato and Joshua S. Hodas and Frank Pfenning",
title = "Efficient Resource Management for Linear Logic Proof Search",
booktitle = "Proceedings of the Fifth International Workshop on Extensions of Logic Programming --- {ELP}'96",
month = "28--30 March",
publisher = "Springer-Verlag LNAI 1050",
address = "Leipzig, Germany",
editor = "R. Dyckhoff and H. Herre and P. Schroeder-Heister",
pages = "67--81",
year = "1996",
url = "citeseer.ist.psu.edu/article/cervesato96efficient.html" }
Citations (may not include all citations):340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
251 A logic programming language with lambda-abstraction - Miller - 1989
215 Theoretical Computer Science (context) - Girard - 1987
81 A Multiple-Conclusion Meta-Logic - Miller - 1994
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
63 Elf: A meta-language for deductive systems (context) - Pfenning - 1994
38 The uniform proof-theoretic foundation of linear logic progr.. - Harland, Pym - 1991
27 Efficient Implementation of a Defensible Semantics for Dynam.. (context) - Lindholm, O'Keefe - 1987
24 Scoping constructs in logic programming: Implementation prob.. - Nadathur, Jayaraman et al. - 1994
17 Linear Objects: Logical Processes with Built-in Inheritance (context) - Andreoli, Pareschi - 1991
15 Logic Programming in a Fragment of Linear Logic (context) - Hodas, Miller - 1994
10 Deterministic resource management for the linear logic progr.. (context) - Harland, Winikoff - 1994
4 Towards a Verified Abstract Machine for a Logic Programming .. (context) - Kwon - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/~iliano/byYear-main.html): More
Modal Event Calculus - Cervesato, al. (1994) (Correct)
Modal Event Calculi with Preconditions - Cervesato, Franceschet, Montanari (1997) (Correct)
Petri Nets and Linear Logic: a case study for logic programming - Cervesato (1995) (Correct)
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