Items related to Termination Proofs for Logic Programs (Lecture Notes...

Termination Proofs for Logic Programs (Lecture Notes in Computer Science) - Softcover

Plumer, Lutz

 
9780387528373: Termination Proofs for Logic Programs (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387528377 ISBN 13: 9780387528373
Publisher: Springer-Verlag, 1990

Synopsis

Termination Proofs for Logic Programs Presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. This book discusses several nontrivial examples. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer-Verlag
Publication date
1990
Language
English
ISBN 10 
0387528377
ISBN 13 
9780387528373
Binding
Paperback