Abstract : We present a very general method for defining tree-like structure, where the nodes are combined in ways that allow to had built-in associativity law, as well as multi-dimensional branching. We give some examples.
https://hal.inria.fr/inria-00099249
Contributeur : Publications Loria
<>
Soumis le : mardi 26 septembre 2006 - 08:52:07
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
