Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Logic Programs with Variables -- A Unified Semantics for Constraint Handling Rules in Transaction Logic...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification...”
Cover Image
Read Now

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... logic programming -- Designing a counter: Another case study of dynamics and activation landscapes...”