scientific article; zbMATH DE number 176722

zbMATH Open0772.68017MaRDI QIDQ4036550FDOQ4036550

Authors: Hong Chen, Jieh Hsiang 

Publication date: 18 May 1993

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

Recommendations

• Recurrence domains: Their unification and application to logic programming
• scientific article; zbMATH DE number 1884395
• Transformations of logic programs on infinite lists
• Logic programming with infinite sets
• Semantics of infinite tree logic programming

zbMATH Keywords

unificationextension of Horn logic programsinfinite sets of termsnon-regular- tree languages

Mathematics Subject Classification ID

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

Cited In (16)

• Title not available (Why is that?)
• Completion of rewrite systems with membership constraints
• On finite representations of infinite sequences of terms
• A logic of recursion
• On unification of terms with integer exponents
• Reasoning with recursive loops under the PLP framework
• Lower bounds for the lengths of refutations
• Recurrence domains: Their unification and application to logic programming
• Title not available (Why is that?)
• Unification of infinite sets of terms schematized by primal grammars
• Domains for logic programming
• Recursion equation sets computing logic programs
• The first order theory of primal grammars is decidable
• Transformations of logic programs on infinite lists
• Primal grammars and unification modulo a binary clause
• Title not available (Why is that?)

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