哲学杂志철학 학술지哲学のジャーナルEast Asian
Journal of
Philosophy

Home > Book Series > Proceedings > Contribution

Publication details

Publisher: Springer

Place: Berlin

Year: 2015

Pages: 3-15

Series: Lecture Notes in Computer Science

ISBN (Hardback): 9783319206028

Full citation:

Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson, "A structural theory of rhythm notation based on tree representations and term rewriting", in: Mathematics and computation in music, Berlin, Springer, 2015

Abstract

We present a tree-based symbolic representation of rhythm notation suitable for processing with purely syntactic theoretical tools such as term rewriting systems or tree automata. Then we propose an equational theory, defined as a set of rewrite rules for transforming these representations. This theory is complete in the sense that from a given rhythm notation the rules permit to generate all notations of equivalent durations.

Publication details

Publisher: Springer

Place: Berlin

Year: 2015

Pages: 3-15

Series: Lecture Notes in Computer Science

ISBN (Hardback): 9783319206028

Full citation:

Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson, "A structural theory of rhythm notation based on tree representations and term rewriting", in: Mathematics and computation in music, Berlin, Springer, 2015