Author of the publication

Morphisms of Generalized Interval Systems and PR-Groups

, , and . (2012)cite arxiv:1204.5531Comment: 35 pages. Revised paper, and added new material: permutations, new network in Figure 10, more systems in Section 4, and more. Retypeset Summary Network with measure numbers.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Musical intervals and special linear transformations.. J. Math. Music, 1 (2): 121-137 (2007)Scratching the Scale Labyrinth, , , , and . Mathematics and Computation in Music -- MCM 2011, volume 6726 of LNAI, page 180--195. Berlin Heidelberg, Springer-Verlag, (2011)Insiders' Choice: Studying Pitch Class Sets Through Their Discrete Fourier Transformations.. MCM, volume 11502 of Lecture Notes in Computer Science, page 371-378. Springer, (2019)Exploring the Syntonic Side of Major-Minor Tonality., and . MCM, volume 11502 of Lecture Notes in Computer Science, page 125-136. Springer, (2019)Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees., , , and . FTSCS, volume 1008 of Communications in Computer and Information Science, page 37-54. Springer, (2018)Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs., and . CoRR, (2020)Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees., , and . J. Aerosp. Inf. Syst., 16 (2): 52-60 (February 2019)Foundations for Entailment Checking in Quantitative Separation Logic., , , , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 57-84. Springer, (2022)Equational Abstractions for Reducing the State Space of Rewrite Theories., and . WRLA, volume 238 of Electronic Notes in Theoretical Computer Science, page 139-154. Elsevier, (2008)Interval analysis of microcontroller code using abstract interpretation of hardware and software., , and . SCOPES, page 3. ACM, (2010)