Danemark And NotAnnabelle Thibessard
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000826 | Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
| 000C03 | R. J. Jarvella [Danemark] ; L. Lundquist [Danemark] | The language of genesis : A psycholinguistic approach to evolving referents |
| 000C71 | G. Kucherov [France] ; Pierre Lescanne [France] ; P. Mosses [Danemark] | Valentin Antimirov (1961-1995) |
| 000C88 | Z.-E.-A. Benaissa [France] ; Pierre Lescanne [France] ; K. H. Rose [Danemark] | Modeling sharing and recursion for weak reduction strategies using explicit substitution |
| 000D01 | C. Hintermeier [France] ; H. Kirchner [France] ; P. D. Mosses [Danemark] | Combining algebraic and set-theoretic specifications |
| This area was generated with Dilib version V0.6.33. |  |