Available by anonymous ftp from ftp.di.unipi.it. Concurrency and plan generation in a logic programming language with a sequential operator
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
412
|
The chemical abstract machine
– Berry, Boudol
- 1992
|
|
368
|
Conditional rewriting logic as a unified model of concurrency
– Meseguer
- 1992
|
|
332
|
Uniform proofs as a foundation for logic programming
– Miller, Nadathur, et al.
- 1991
|
|
231
|
Linear objects: logical processes with built-in inheritance
– Andreoli, Pareschi
- 1991
|
|
223
|
Logic programming with focusing proofs in linear logic
– Andreoli
- 1992
|
|
164
|
Investigations into logical deductions
– Gentzen
- 1969
|
|
100
|
The -calculus as a theory in linear logic: Preliminary results
– Miller
- 1992
|
|
75
|
A uniform proof-theoretic investigation of linear logic programming
– Pym, Harland
- 1994
|
|
72
|
The Gamma model and its discipline of programming
– Banatre, M'etayer
- 1990
|
|
51
|
Constructive logics part I: A tutorial on proof systems and typed -calculi
– Gallier
- 1993
|
|
48
|
From Petri nets to linear logic through categories: a survey
– Mart'i-Oliet, Meseguer
- 1991
|
|
47
|
Interaction Abstract Machines
– Andreoli, Ciancarini, et al.
- 1993
|
|
36
|
An algebraic semantics for structured transition systems and its application to logic programs
– Corradini, Montanari
- 1992
|
|
17
|
AND-parallelism without shared variables
– Brogi
- 1990
|
|
17
|
Generating plans in linear logic I: Actions as proofs
– Masseron, Tollu, et al.
- 1993
|
|
14
|
A categorical model for logic programs: Indexed monoidal categories
– Corradini, Asperti
- 1992
|
|
13
|
Constructive logics. Part II: Linear logic and proof nets
– Gallier
- 1991
|
|
12
|
R'eseaux et s'equents ordonn'es
– Retoré
- 1993
|
|
10
|
Nets, An Introduction, volume 4
– Petri
- 1985
|
|
8
|
Distributed Logic: A Theory of Distributed Programming in Logic
– Monteiro
- 1986
|
|
6
|
Catuscia Palamidessi. A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses
– Falaschi, Levi
- 1994
|
|
4
|
Proof Theory and Logical Complexity, Volume I, volume 1
– Girard
- 1987
|
|
3
|
Distributed logic: A logical system for specifying concurrency
– Monteiro
- 1981
|
|
2
|
Pomset logic. Available by anonymous ftp from cma.cma.fr
– Retor'e
- 1993
|
|
