Searching for authors named "Vincent Danos" – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
Agile modelling of cellular signalling a simple illustration of the rule-based approach
- …Agile modelling of cellular signalling a simple illustration of the rule-based approach Vincent…
- Add To MetaCart
-
The Anatomy of Innocence
- …The Anatomy of Innocence Vincent Danos & Russell Harmer Université Paris 7 Équipe Preuves…
- Cited by 3 (2 self) – Add To MetaCart
-
A Core Modeling Language for the Working Molecular Biologist
- …A core modeling language for the working molecular biologist Marc Chiaverini Vincent Danos Equipe…
- Cited by 13 (2 self) – Add To MetaCart
-
Disjunctive Normal Forms and Local Exceptions
- …-58113-756-7/03/0008 ...$5.00 1 Vincent Danos Université Paris 7, Équipe PPS 2 place Jussieu 75251 Paris Cedex 05, France…
- Cited by 1 (1 self) – Add To MetaCart
-
Transactions in RCCS
- …Transactions in RCCS Vincent Danos 1 and Jean Krivine 2⋆ 1 CNRS & Université Paris 7 2 INRIA…
- Cited by 5 (1 self) – Add To MetaCart
-
Graphs for Core Molecular Biology
- …Graphs for Core Molecular Biology Vincent Danos 1 and Cosimo Laneve 2 1 Equipe PPS, CNRS…
- Cited by 11 (0 self) – Add To MetaCart
-
Reversible, Irreversible and Optimal ...-machines
- …Reversible, Irreversible and Optimal -machines Vincent Danos Equipe de logique de Paris 7 CNRS…
- Cited by 2 (0 self) – Add To MetaCart
-
Local and asynchronous beta-reduction (an analysis of Girard's EX formula)
- … Vincent Danos ' Equipe de Logique, URA 753 du CNRS Universit'e de Paris 7 e-mail: danos at logique…
- Cited by 9 (0 self) – Add To MetaCart
-
Head Linear Reduction
- …Head Linear Reduction Vincent Danos Equipe PPS - Universite Paris 7 & CNRS Vincent…
- Cited by 1 (0 self) – Add To MetaCart
-
Self-assembling graphs
- …Self-assembling Graphs Vincent Danos (vincent.danos@(email omitted);) Équipe PPS, CNRS & Université…
- Cited by 7 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
