A Structural Theory of Rhythm Notation Based on Tree Representations and Term Rewriting.

Florent Jacquemard Pierre Donat-Bouillud Jean Bresson

Published in: MCM (2015)

Keyphrases

term rewriting
theorem proving
theorem prover
knuth bendix
operational semantics
artificial intelligence
tree structure
theoretical framework
structural information
black box
rewrite systems
computational intelligence
business process
autonomous agents
b tree
structural features