Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Termination Proofs for Logic Programs
SR 389
Inclusive of VAT
SR23Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR389
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed.
Report an issue with this product.
