External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Machine Improvisation with Formal Specifications

Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel. Machine Improvisation with Formal Specifications. In Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014. Michigan Publishing, 2014. [doi]

Authors

Alexandre Donzé

This author has not been identified. Look up 'Alexandre Donzé' in Google

Rafael Valle

This author has not been identified. Look up 'Rafael Valle' in Google

Ilge Akkaya

This author has not been identified. Look up 'Ilge Akkaya' in Google

Sophie Libkind

This author has not been identified. Look up 'Sophie Libkind' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google

David Wessel

This author has not been identified. Look up 'David Wessel' in Google
runs on