scientific article; zbMATH DE number 408800

zbMath0819.68032MaRDI QIDQ4202945

M. R. K. Krishna Rao, Deepak Kapur, Rudrapatna K. Shyamasundar

Publication date: 6 September 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

term rewriting systemstermination of logic programsProCoS compilerwell-moded logic program

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Related Items

Modular proofs for completeness of hierarchical term rewriting systems, A framework for incremental learning of logic programs, Incremental learning of logic programs, Some characteristics of strong innermost normalization