Efficient Resource Management for Linear Logic Proof Search (1997)  (Make Corrections)  (30 citations) Iliano Cervesato, Joshua S. Hodas, Frank PfenningProceedings of the Fifth International Workshop on Extensions of Logic Programming --- ELP'96   Home/Search   Context   Related Links:   ACM   DBLP

View or download: cmu.edu/~fp/papers/erm97.ps.gz cmu.edu/afs/cs/user/fp/ww...erm97.ps.gz cmu.edu/people/fp/papers/erm97.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.   PS.gz  PS  PDF   Image  Update  Help From:  cmu.edu/~twelf/elfbib (more) From:  cmu.edu/people/fp/homepage (Enter author homepages)

Rate this article: (best)   Comment on this article

@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/cervesato97efficient.html" }