scientific article; zbMATH DE number 4191092

zbMATH Open0722.68025MaRDI QIDQ3210156FDOQ3210156

Authors: Yihua Shi, S. Arikawa 

Publication date: 1991

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

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

zbMATH Keywords

locally reducing programslocally weak reducingtermination of derivations

Mathematics Subject Classification ID

Logic programming (68N17)

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)