Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
000B29 | H. Cirstea [France] ; C. Kirchner [France] | The rewriting calculus as a semantics of ELAN |
000C75 | I. Alouini [France] ; C. Kirchner [France] | Toward the concurrent implementation of computational systems |
000C92 | C. Kirchner [France] ; C. Lynch [France] ; C. Scharff [France] | Fine-grained concurrent completion |
000D65 | M. Hermann ; C. Kirchner ; H. Kirchner | Implementations of term rewriting systems |
000D66 | N. Doggaz ; C. Kirchner | Completion for unification |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |