1
Published 2002
Springer US
... in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic...

2
Published 1995
Springer Berlin Heidelberg
... programming, concurrent constraint programming, computational logic, applications, and operations research...