C. Faggian. Proof construction and non-commutativity: a cluster calculus. In International Conference on Principles and Practice of Declarative Programming, PPDP 2000, 2000. ACM Press. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
A Precise Logical Semantics of Concurrent Constraint Programs - Soliman (Correct)
A Precise Logical Semantics of Concurrent Constraint Programs - Fages, Soliman (Correct)
The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
Connection-Based Proof Construction in Non-Commutative Logic - Galmiche, Notin (Correct)
Constraint Based Proof Construction in Non-Commutative Logic - Jean-Marc Andreoli Roberto (2001) (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