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

Other Popular Editions of the Same Title

9783540528371: Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

Featured Edition

ISBN 10:  3540528377 ISBN 13:  9783540528371
Publisher: Springer, 1990
Softcover