|
290
|
Logic Programming with Focusing Proofs in Linear Logic
– Jean-marc Andreoli
- 1992
|
|
67
|
A Uniform Proof-Theoretic Investigation Of Linear Logic Programming
– J.A. Harland, D. J. Pym
- 1994
|
|
283
|
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract
– Joshua S. Hodas, Dale Miller
- 1991
|
|
39
|
Programming in Lygon: An Overview
– James Harland, David Pym, Michael Winikoff
- 1996
|
|
335
|
Uniform proofs as a foundation for logic programming
– Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov
- 1991
|
|
46
|
ACL - A Concurrent Linear Logic Programming Paradigm
– Naoki Kobayashi, Akinori Yonezawa
- 1993
|
|
493
|
Untersuchungen über das logische Schließen
– G Gentzen
- 1935
|
|
201
|
Linear Objects: logical processes with built-in inheritance
– Jean-marc Andreoli, Remo Pareschi
|
|
6
|
On proof normalisation
– D Galmiche, G Perrier
- 1994
|
|
76
|
Proof-nets: The parallel syntax for proof-theory
– Jean-yves Girard
- 1996
|
|
26
|
Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi
– P.D. Lincoln, N. Shankar
- 1994
|
|
75
|
Forum: A multiple-conclusion specification logic
– Dale Miller
- 1996
|
|
10
|
Proof search strategies in linear logic
– T Tammet
- 1994
|
|
4
|
Towards the Automation of the Design of Logic Programming Languages
– Tatjana Lutovac, James Harland
- 1997
|
|
176
|
An Overview of *Prolog
– G Nadathur, D Miller
- 1988
|
|
52
|
A Fixpoint Semantics for Disjunctive Logic Programs
– J Minker, A Rajasekhar
- 1990
|
|
855
|
Negation as Failure
– K L Clark
- 1978
|
|
641
|
The Semantics of Predicate Logic as a Programming Language
– M. H. Van Emden, R. A. Kowalski
- 1976
|
|
20
|
Foundations of Proof Search Strategies Design in Linear Logic
– D. Galmiche, G. Perrier
- 1994
|
