Searching for authors named "Paul Ruet" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Phase Semantics for Mixed Non-Commutative Classical Linear Logic
- … Paul RUET LIENS - 97 Phase semantics for mixed non-commutative classical linear logic Paul RUET…
- Add To MetaCart
-
Non-commutative logic II: sequent calculus and phase semantics
- … : sequent calculus and phase semantics PAUL RUET y Institut de Mathematiques de Luminy, 163 avenue de…
- Cited by 23 (5 self) – Add To MetaCart
-
Complete Sets of Connectives and Complete Sequent Calculus for Belnap's Logic
- … for Belnap's Logic Paul RUET LIENS - 96 Complete Sets of Connectives and Complete Sequent Calculus…
- Cited by 1 (0 self) – Add To MetaCart
-
Non-commutative logic III: focusing proofs
- … Universita Roma 3, Via Magenta 5, 00185 Roma (Italy). E-mail: maieli@(email omitted);. Paul Ruet CNRS - Institut…
- Cited by 5 (2 self) – Add To MetaCart
-
Combining Explicit Negation and Negation by Failure via Belnap's Logic
- …Combining explicit Negation and Negation by Failure via Belnap's Logic Francois FAGES Paul RUET…
- Cited by 6 (0 self) – Add To MetaCart
-
Spatial differentiation and positive circuits in a discrete
- …Spatial differentiation and positive circuits in a discrete framework Anne Crumière, Paul Ruet…
- Cited by 3 (3 self) – Add To MetaCart
-
unknown title
- … Crumière, Paul Ruet 1 CNRS - Institut de Mathématiques de Luminy Campus de Luminy, Case 907, 13288…
- Add To MetaCart
-
Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract)
- … Abstract) Paul Ruet, Francois Fages fruet,fagesg@(email omitted); LIENS-CNRS, Ecole Normale Sup'erieure, Paris…
- Cited by 9 (5 self) – Add To MetaCart
-
On differentiation and homeostatic behaviours of Boolean dynamical systems
- … and Paul Ruet CNRS - Institut de Mathématiques de Luminy, 163 avenue de Luminy, Case 907, 13288 Marseille…
- Cited by 5 (3 self) – Add To MetaCart
-
From elementary signed circuits to the dynamics of Boolean regulatory networks
- … Elisabeth Remy, Paul Ruet CNRS, Institut de Mathématiques de Luminy Campus de Luminy, Case 907, 13288…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
