Dale Miller  Home/Search
Context
Related
| upenn.edu/pub/papers/mille...scsc.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: upenn.edu/pub/pape...recentpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ly 15 3.1 Problems with proof search . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.2 Interpretation as goal-directed search . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.3 The syntax of first-order Horn clauses . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.4 Proof search with first-order Horn clauses . . . . . . . . . . . . . . . . . . . . . . . . 19 3.5 Additional readings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .... (Update)
Similar documents (at the sentence level):
5.9%: Forum: A Multiple-Conclusion Specification Logic - Miller (1996) (Correct)
Active bibliography (related documents): More All
2.5: Sequent Calculus and the Specification of Computation - Lecture.. - Miller (1997) (Correct)
0.4: An Overview of Linear Logic Programming - Dale Miller Inria (Correct)
0.3: Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
Similar documents based on text: More All
0.2: Higher-Order Quantification and Proof Search - Miller (2002) (Correct)
0.2: Foundational Aspects of Syntax - Miller, Palamidessi (1999) (Correct)
0.2: Encoding Generic Judgments - Dale Miller Computer (2001) (Correct)
BibTeX entry: (Update)
@misc{ miller-sequent,
author = "Dale Miller",
title = "Sequent Calculus and the Specification of Computation - Lecture Notes",
url = "citeseer.ist.psu.edu/miller98sequent.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
419 A formulation of the simple theory of types (context) - Church - 1940 DBLP
367 Computer Architecture A Quantitative Approach (context) - Hennesy, Patterson - 1990
363 Programming in Prolog (context) - Clocksin, Mellish - 1984 ACM
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985 ACM DBLP
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994 ACM DBLP
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1990 ACM
215 Theoretical Computer Science (context) - Girard - 1987 ACM
149 A logical analysis of modules in logic programming (context) - Miller - 1989 ACM DBLP
146 Investigations into logical deductions (context) - Gentzen - 1969
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982
116 Natural Deduction (context) - Prawitz - 1965
112 The Art of Prolog: Advanced Programming Techniques (context) - Sterling, Shapiro - 1986 ACM
82 Logic for Computer Science: Foundations of Automatic Theorem.. (context) - Gallier - 1986 ACM
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
56 Modularity in logic programming - Bugliesi, Lamma et al. - 1994 ACM DBLP
53 Lexical scoping as universal quantification - Miller - 1989
53 Implementing tactics and tacticals in a higher-order logic p.. - Felty - 1993
50 Higher-order Horn clauses - Nadathur, Miller - 1990 ACM DBLP
49 ACL - a concurrent linear logic programming paradigm - Kobayashi, Yonezawa - 1993
46 Specifying theorem provers in a higher-order logic programmi.. (context) - Felty, Miller - 1988
38 Proof Theoretic Approach to Specification Languages - Chirimar - 1995 ACM
38 The uniform proof-theoretic foundation of linear logic progr.. - Harland, Pym - 1991
30 Objects in forum - Delzanno, Martelli - 1995 DBLP
29 Proofs and Types (context) - Girard, Taylor et al. - 1989 ACM
28 Specifying filler-gap dependency parsers in a linear-logic p.. - Hodas - 1992 DBLP
27 Abstractions in logic programming (context) - Miller - 1990
26 Extending definite clause grammars with scoping constructs (context) - Pareschi, Miller - 1990 ACM DBLP
20 Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992
20 Representing objects in a logic programming language with sc.. - Hodas, Miller - 1990 ACM
19 Metamathematical Investigation of Intuitionistic Arithmetic .. (context) - Troelstra - 1973
17 Concerning formulas of the types (context) - Harrop - 1960
17 Resolution in fragments of classical linear logic (context) - Harland, Pym - 1992
16 A linear logic calculus of objects - Bugliesi, Delzanno et al. - 1996
16 Forum: A multiple-conclusion specification language (context) - Miller - 1996
15 Intuitionistic Logic Model Theory and Forcing (context) - Fitting - 1969
11 Abstract Logic Programming in Linear Logic---Independence an.. (context) - Guglielmi - 1996
10 Concurrency and plan generation in a logic programming langu.. - Guglielmi - 1994 ACM DBLP
9 Computational Logic: The Newsletter of the European Network .. (context) - Miller, of et al. - 1995
5 A linear logic framework (context) - Cervesato, Pfenning - 1996
5 A linear logic view of Gamma style computations as proof sea.. - Bruscoli, Guglielmi - 1996
5 Sequentiality by linear implication and universal quantifica.. - Guglielmi - 1995
4 Permutabilities of inferences in Gentzen's calculi LK and LJ (context) - Kleene - 1952
2 Proof theory as an alternative to model theory (context) - Miller - 1991
Documents on the same site (ftp://ftp.cis.upenn.edu/pub/papers/miller/recentpapers.html): More
Some Uses of Higher-Order Logic in Computational Linguistics - Miller, Nadathur (1986) (Correct)
Foundational Aspects of Syntax - Miller, Palamidessi (1999) (Correct)
Linear Logic As A Framework For Specifying Sequent Calculus - Miller, PIMENTEL (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