Iliano Cervesato and Frank Pfenning Department of Computer Science Carnegie...  Home/Search
Context Related
Links: ACM DBLP | cmu.edu/afs/cs/user/fp/www...lhopu96.ps 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: cmu.edu/afs/cs/user/fp/www/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We develop an efficient representation and a pre-unification algorithm in the style of Huet for the This extended abstract has been submitted to the Twelfth Annual Symposium on Logic in Computer Science - LICS'97, Warsaw, Poland, June 29th -- July 2nd 1997. (Update)
Cited by: More
A Linear Spine Calculus - Cervesato, Pfenning (2001) (Correct)
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
Efficient Resource Management for Linear Logic Proof Search - Cervesato, Hodas, Pfenning (1997) (Correct)
Similar documents (at the sentence level):
42.8%: Linear Higher-Order Pre-Unification (Extended Abstract) - Iliano Cervesato, Frank.. (1996) (Correct)
Active bibliography (related documents): More All
0.1: Unification via Explicit Substitutions: - The Case Of (Correct)
0.1: Decidability of Bounded Second Order Unification - Schmidt-Schauß (Correct)
0.1: An Optimized Decision Algorithm for Stratified Context.. - Schmidt-Schauß (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
17: A logic programming language with lambda-abstraction - Miller - 1991
13: A linear logical framework - Cervesato, Pfenning - 1996
12: Theoretical Computer Science (context) - Girard - 1987
BibTeX entry: (Update)
@inproceedings{ cervesato97linear,
author = "Iliano Cervesato and Frank Pfenning",
title = "Linear Higher-Order Pre-Unification",
booktitle = "Twelfth Annual Symposium on Logic in Computer Science --- {LICS}'97",
month = "29 -- 2",
publisher = "IEEE Computer Society Press",
address = "Warsaw, Poland",
editor = "G. Winskel",
pages = "422--433",
year = "1997",
url = "citeseer.ist.psu.edu/article/cervesato97linear.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
251 A logic programming language with lambda-abstraction - Miller - 1989
210 Logic programming in the LF logical framework - Pfenning - 1991 ACM
174 A unification algorithm for typed -calculus (context) - Huet - 1975
166 An overview of Prolog (context) - Nadathur, Miller - 1988
90 A linear logical framework - Cervesato, Pfenning - 1996 ACM DBLP
81 A multiple-conclusion meta-logic - Miller - 1994 DBLP
79 A uniform proof-theoretic investigation of linear logic prog.. - Harland, Pym - 1994 DBLP
56 Higher order unification revisited: Complete sets of transfo.. (context) - Snyder, Gallier - 1989
51 A relevant analysis of natural deduction - Ishtiaq, Pym - 1996 DBLP
37 Unification via explicit substitutions: The case of higher-o.. - Dowek, Hardin et al. - 1996 DBLP
36 Dipartimento di Informatica (context) - Cervesato, Logical et al. - 1996
33 A preliminary version appeared in the Proceedings of the Six.. (context) - Hodas, Miller et al. - 1991
30 Efficient resource management for linear logic proof search - Cervesato, Hodas et al. - 1996 ACM DBLP
20 order type theory through unification (context) - Jensen, Pietrzykowski - 1976
19 Laboratory for Foundations of Computer Sciences (context) - Barber, linear et al. - 1996
11 Linear second-order unification (context) - Levy - 1996 ACM DBLP
11 An empirical study of the runtime behavior of higher-order l.. (context) - Michaylov, Pfenning - 1992
5 Unification of higher-order patterns in a simply typed lambd.. (context) - Fettig, Lochner - 1996
3 Unification with extended patterns (context) - Duggan - 1994 ACM DBLP
1 etation du calcul des (context) - Herbelin, calcule - 1995
1 Linear higher-order unification (context) - Cervesato, Pfenning
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (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