D. Galmiche and G. Perrier. Automated deduction in additive and multiplicative linear logic. In Proc. of the International Symposium on Logical Foundations of Computer Science, Tver, C.I.S., 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (11 citations) (Correct)
Proof Strategies in Linear Logic - Tammet (1994) (24 citations) (Correct)
Linear Logic with Isabelle: pruning the proof search tree - de Groote (1995) (Correct)
Connection Methods in Linear Logic and Proof Nets Construction - Galmiche (1999) (10 citations) Self-citation (Galmiche) (Correct)
Canonical Proofs for Linear Logic Programming Frameworks - Galmiche (1994) (2 citations) Self-citation (Galmiche) (Correct)
A Procedure for Automatic Proof Nets Construction - Galmiche, Perrier (1992) (6 citations) Self-citation (Galmiche Perrier) (Correct)
A Procedure for Automatic Proof Nets Construction - Galmiche, Perrier (1992) (6 citations) Self-citation (Galmiche Perrier) (Correct)
Foundations of Proof Search Strategies Design in Linear Logic - Galmiche, Perrier (1994) (10 citations) Self-citation (Galmiche Perrier) (Correct)
Foundations of Proof Search Strategies Design in Linear Logic - Galmiche, Perrier (1994) (10 citations) Self-citation (Galmiche Perrier) (Correct)
On Proof Normalization in Linear Logic - Galmiche, Perrier (1994) (26 citations) Self-citation (Galmiche Perrier) (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