Arbre And NotGilles Schaeffer
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000125 | Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak properties of rewriting |
| 000752 | Guy Perrier [France] | Descriptions d'arbres avec polarité : les Grammaires d'Interaction |
| 000C47 | L. Alonso [France] ; J. L. Remy [France] ; R. Schott [France] | A linear-time algorithm for the generation of trees |
| 000D43 | D. Hofbauer [Allemagne] ; M. Huber [France] | Linearizing term rewriting systems using test sets |
| This area was generated with Dilib version V0.6.33. |  |