Recurrence domains: Their unification and application to logic programming

DOI10.1006/inco.1995.1140zbMath0833.68028OpenAlexW2064797748MaRDI QIDQ1900314

Hong Chen, Jieh Hsiang

Publication date: 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1140

zbMATH Keywords

\(\rho\)-PrologHorn logic programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items

Unification of infinite sets of terms schematized by primal grammars, On the non-termination of MDG-based abstract state enumeration, NuMDG: a new tool for multiway decision graphs construction, Weighted systems of equations