Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
00CD55 | Andrea Sattler-Klein [Allemagne] | About changing the ordering during Knuth-Bendix completion |
00D667 | Andrea Sattler-Klein [Allemagne] | Infinite, canonical string rewriting systems generated by completion |
00DA75 | Andrea Sattler-Klein [Allemagne] | Divergence phenomena during completion |
This area was generated with Dilib version V0.6.33. |