Foundations for Reliable and Flexible Interactive Multimedia Scores

DOI10.1007/978-3-319-20603-5_3zbMath1320.00013OpenAlexW784264405MaRDI QIDQ2942295

Carlos Olarte, Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda

Publication date: 20 August 2015

Published in: Mathematics and Computation in Music (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20603-5_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematics and music (00A65)

Related Items

Foundations for Reliable and Flexible Interactive Multimedia Scores, Hybrid and subexponential linear logics, Hybrid linear logic, revisited

Cites Work

• Unnamed Item
• Linear logic
• A General Proof System for Modalities in Concurrent Constraint Programming
• Foundations for Reliable and Flexible Interactive Multimedia Scores
• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• Logic Programming with Focusing Proofs in Linear Logic