Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000C15 | C. Retore [France] | Pomset logic : A non-commutative extension of classical linear logic |
000C49 | D. Bechet [France] ; P. De Groote [France] ; C. Retore [France] | A complete axiomatisation for the inclusion of series-parallel partial orders |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |