Login / Signup
A formal library of set relations and its application to synchronous languages.
Camilo Rocha
César A. Muñoz
Gilles Dowek
Published in:
Theor. Comput. Sci. (2011)
Keyphrases
</>
expressive power
real time
information systems
small number
input data