43 citations · 54 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.CO2017
Pairwise Well-Formed Modes and Transformations
David Clampitt, Thomas Noll
One of the most significant attitudinal shifts in the history of music occurred in the Renaissance, when an emerging triadic consciousness moved musicians towards a new scalar form…
cs.PL2017
Graph-Based Shape Analysis Beyond Context-Freeness
Hannah Arndt, Christina Jansen, Christoph Matheja +1
We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is…