Input-Termination of Logic Programs

DOI10.1007/11506676_14zbMath1134.68333OpenAlexW1575902324MaRDI QIDQ5458804

M. R. K. Krishna Rao

Publication date: 24 April 2008

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11506676_14

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Modular termination of \(r\)-consistent and left-linear term rewriting systems