Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi

Recent Advances in Constraints - 2007

978-3-540-73817-6


Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Numeric Computing
Programming Languages, Compilers, Interpreters
Computer Science