1
Published 2020
Springer International Publishing
Subjects: ...Logic programming...

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... for Normal Logic Programs -- Permutative Additives and Exponentials --...

3
Published 1989
Springer Berlin Heidelberg
... rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy...