We introduce equality up-to constraints over finite trees and investigate their expressiveness. Equality up-to constraints subsume equality constraints, subtree constraints, and one-step rewriting constraints. We establish a close correspondence between equality up-to constraints over finite trees and context unification. Context unification subsum...
Logica simbolica, teoria dei gruppi e crivelli musicali nel pensiero di Iannis Xenakis : un punto di vista (1ère partie)
Problèmes de notation dans la composition assistée par ordinateur,
In this paper we define data structures which describe general concepts of composition and sound synthesis, and establish a client-server architecture. The combination of these two elements should allow preexisting and new applications to work together and share information.
In this paper, we propose a method for the automatic construction of an abstract state graph of an arbitrary system using the Pvs theorem prover.Given a parallel composition of sequential processes and a partition of the state space induced by predicates ϕ1, ..., g4 l on the program variables which defines an abstract state space, we construct an a...
A calculus for concurrent processes with constraints,
The Visual Model of Cordial
OpenMusic is a visual programming environment for composersbased on Macintosh Common Lisp. It extends the functionalities of PatchWork to full object oriented programming and provides a high level control on the musical form.
The system FT
Logica simbolica, teoria dei gruppi e crivelli musicali nel pensiero di Iannis Xenakis : un punto di vista (2e partie)