Parallel Execution of Logic Programs (The Springer International Series in Engineering and Computer Science)

Book

Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints (The Springer International Series in Engineering and Computer Science, 875)

Book

VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)

Book

Conclog: A Methodological Approach to Concurrent Logic Programming

Book

Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

Book

Parallelism in Logic Its Potential for Performance and Program Development

Book

VLSI CAD Tools and Applications (The Springer International Series in Engineering and Computer Science)

Book

A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)