Cover Image
Read Now

181
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Refining specifications to logic programs -- Symbolic verification with gap-order constraints...”
Cover Image
Read Now

182
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical...”
Cover Image
Read Now

186
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... logic programs -- A debugging model for functional logic programs -- A conservative approach to meta...”
Cover Image
Read Now

187
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... attribute grammars -- Profit: A system integrating logic programming and attribute grammars -- Towards a...”
Cover Image
Read Now

188
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... to abduction -- Samantics of normal and disjunctive logic programs a unifying framework -- Every normal program...”
Cover Image
Read Now

189
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... of logic programs with external procedures -- An application of abstract interpretation in source level...”
Cover Image
Read Now

190
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... programming language -- Camel: An extension of the categorical abstract machine to compile functional/logic...”
Cover Image
Read Now

191
by Mulkers, Anne
Published 1993
Springer Berlin Heidelberg
“... the problem of memory re-use for logic programs through program analysis rather than by run-time garbage...”
Cover Image
Read Now

192
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Concurrent constraint programming -- Specifications using multiple-conclusion logic programs...”
Cover Image
Read Now

193
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general...”