Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000A76 | H. Kirchner [France] ; P.-E. Moreau [France] | Non-deterministic computations in ELAN |
000B02 | H. Kirchner [France] ; P. D. Mosses [États-Unis] | Algebraic specifications, higher-order types, and set-theoretic models |
This area was generated with Dilib version V0.6.33. |