Bruno Guillaume And NotGrammaire d'unification
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000559 | Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France] | Vector addition tree automata |
000673 | René David [France] ; Bruno Guillaume [France] | Strong normalization of the typed λws-calculus |
This area was generated with Dilib version V0.6.33. |