A complete characterization of complete intersection-type preorders.

Mariangiola Dezani-Ciancaglini Furio Honsell Fabio Alessi

Published in: ACM Trans. Comput. Log. (2003)

Keyphrases

artificial intelligence
real time
real world
information systems
objective function
cooperative
scheduling problem