MPG.eBooks - Search Results - "logic programming"

1

by Palamidessi, Catuscia
Published 2003

Springer Berlin Heidelberg

2

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Disambiguation -- Development and Application of Logical Actors Mathematical Apparatus for Logic Programming...”

3

Published 1998

Springer Berlin Heidelberg

Table of Contents: “...Logic programming and model checking -- CAT: The Copying Approach to Tabling -- SICStus MT—A...”

4

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... Calculi to Process Frameworks -- Verification Using Tabled Logic Programming -- Accepted Papers -- Open...”