Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Flexible Models for Dynamic Linking -- Correction of Functional Logic Programs -- Approximate Pruning...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Grammars: Applications to Distributed Systems Design -- Constraint and Logic Programming -- Constraint...”
Cover Image
Read Now

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Termination of constraint logic programs -- The expressive power of unique total stable model...”