scientific article; zbMATH DE number 6606377

zbMATH Open1341.68023MaRDI QIDQ5740448FDOQ5740448

Authors: Fangzhen Lin 

Publication date: 26 July 2016

Title of this publication is not available (Why is that?)

Recommendations

• Strong termination of logic programs
• A methodology for proving termination of logic programs
• scientific article; zbMATH DE number 1149425
• Termination proofs for logic programs
• On the verification of very expressive temporal properties of non-terminating Golog programs
• scientific article; zbMATH DE number 432705
• scientific article; zbMATH DE number 176506
• On modular termination proofs of general logic programs
• Automatic verification of Golog programs via predicate abstraction

zbMATH Keywords

strong terminationnondeterministic Golog while-loop

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Non-terminating processes in the situation calculus

Uses Software

• GOLOG

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740448)