Iliano Cervesato, Joshua S. Hodas, Frank Pfenning  Home/Search
Context Related
| stanford.edu/~iliano/pape...tcs00.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 and Elf ). Among these, the problem of eciently 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 [10], 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):
38.3%: Efficient Resource Management for Linear Logic Proof Search - Cervesato, Hodas, Pfenning (1997) (Correct)
Active bibliography (related documents): More All
0.5: Proof-search in Type-theoretic Languages: An Introduction - Galmiche, al. (2000) (Correct)
0.3: The XSB System Version 2.2 Volume 1: Programmer's Manual - Sagonas, Swift, Warren.. (2000) (Correct)
0.3: Concurrency in Prolog Using Threads and a Shared Database - Carro, Hermenegildo (1999) (Correct)
Similar documents based on text: More All
0.4: Ecient Implementation of a Linear Logic Programming Language - Joshua Hodas And (1998) (Correct)
0.4: Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
0.4: 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/cervesato00efficient.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/cervesato00efficient.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 - 1991
215 Theoretical Computer Science (context) - Girard - 1987
79 A uniform proof-theoretic investigation of linear logic prog.. - Pym, Harland - 1994
63 Elf: A meta-language for deductive systems (context) - Pfenning - 1994
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
46 Resource distribution via boolean constraints - Harland, Pym - 1997
38 The uniform proof-theoretic foundation of linear logic progr.. - Harland, Pym - 1991
24 Scoping constructs in logic programming: Implementation prob.. - Nadathur, Jayaraman et al. - 1995
20 Foundations of proof search strategies design in linear logi.. - Galmiche, Perrier - 1994
17 Linear objects: Logical processes with built-in inheritance (context) - Andreoli, Pareschi - 1991
14 Ecient resource management for linear logic proof search (context) - Cervesato, Hodas et al. - 1996
8 Deterministic resource management for the linear logic progr.. - Winiko, Harland - 1994
8 Forum as a logic programming language: Preliminary results a.. - Hodas, rey - 1996
6 A concurrent linear logic programming paradigm (context) - Kobayashi, Yonezawa - 1993
4 A lazy splitting system for Forum - opez, Pimentel - 1997
3 Ecient implementation of a defensible semantics for dynamic .. (context) - Lindholm, O'Keefe - 1987
2 Resolution calculus for the rst order linear logic (context) - Mints - 1993
2 Some implementations of the linear logic programming languag.. (context) - Cervesato, Hodas et al.
1 A multiple-conclusion specication logic (context) - Miller - 1996
1 Towards a Veried Abstract Machine for a Logic Programming La.. (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
Efficient Resource Management for Linear Logic Proof Search - Cervesato, al. (1996) (Correct)
Modal Event Calculus - Cervesato, al. (1994) (Correct)
Modal Event Calculi with Preconditions - Cervesato, Franceschet, Montanari (1997) (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