P. D. Mosses And NotSpécification
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000B02 | H. Kirchner [France] ; P. D. Mosses [États-Unis] | Algebraic specifications, higher-order types, and set-theoretic models |
000D25 | V. M. Antimirov [France] ; P. D. Mosses | Rewriting extended regular expressions |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |