| Pierre-Cyril Héam < Pierre-Etienne Moreau < Pierre-Louis Osty | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 26.[0-20] [0 - 20][0 - 26][20-25][20-40]
| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001E26 (1997) | Pierre-Etienne Moreau ; Hélène Kirchner | Compilation Techniques for Associative-Commutative Normalisation |
| 001E27 (1997) | Pierre-Etienne Moreau ; Hélène Kirchner | Compilation of Associative-Commutative Normalisation with Strategies in ELAN (Full version) |
| 002074 (1998) | Pierre-Etienne Moreau | Compiling nondeterministic computations |
| 002277 (1998) | Pierre-Etienne Moreau ; Hélène Kirchner | A Compiler for Rewrite Programs in Associative-Commutative Theories |
| 002336 (1998) | Hélène Kirchner ; Pierre-Etienne Moreau | Non-deterministic computations in ELAN |
| 002372 |