Construction, évaluation et amélioration systématiques de structures de données
Jean-Luc Rémy (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean-Luc Rémy (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Raul Kantor, Giovanna Sontacchi (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J. P. Jouannaud, H. Kirchner (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Marc Chemillier (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Marc Chemillier (1990)
Mathématiques et Sciences Humaines
Similarity:
Cet article s'inscrit dans un travail d'étude mathématique de la combinatoire musicale. Dans les deux premières parties, on propose un modèle formel de la synchronisation musicale, dont on donne quelques propriétés abstraites en comparant ce modèle à d'autres modèles de synchronisation utilisés pour le parallélisme en informatique théorique. Dans la troisième partie, on décrit un algorithme de production automatique de contrepoint par automates finis.
Alain Prouté (1992)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Dominique Mery (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
C. Queinnec (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: