scientific article; zbMATH DE number 4191092

MaRDI QIDQ3210156zbMATH OpenFDO

Authors Yihua Shi, S. Arikawa

Publication date 1991

zbMATH Keywords

locally reducing programslocally weak reducingtermination of derivations

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 458994
• Classes of terminating logic programs
• scientific article; zbMATH DE number 3958704
• Logic Programming
• Strong termination of logic programs

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 Q3210156)