1
by Bistarelli, Stefano
Published 2004
Springer Berlin Heidelberg
... constraint logic programming and concurrent constraint programming. Moreover, the author shows how to adapt...

2
Published 1990
Springer Berlin Heidelberg
... and semantics of programming languages, operational semantics, logic programming, algorithms and data structures...

3
by Hussmann
Published 1993
Birkhäuser
Table of Contents: ... Term Rewriting -- 4.3 Conditional Axioms -- 4.4 Algebraic Programming -- 4.5 Logic Programming -- 5...