Produktbild: Termination Proofs for Logic Programs

Termination Proofs for Logic Programs

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Lecture Notes in Computer Science 446 – Lecture Notes in Artificial Intelligence

ISBN: 3540528377
ISBN 13: 9783540528371
Autor: Plümer, Lutz
Verlag: Springer Verlag GmbH
Umfang: viii, 142 S.
Erscheinungsdatum: 24.07.1990
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1484032 Kategorie:

Beschreibung

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …