scientific article

zbMath0772.68017MaRDI QIDQ4036550

Hong Chen, Jieh Hsiang

Publication date: 18 May 1993

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items

On finite representations of infinite sequences of terms, The first order theory of primal grammars is decidable, Unification of infinite sets of terms schematized by primal grammars, On unification of terms with integer exponents, Completion of rewrite systems with membership constraints, Primal grammars and unification modulo a binary clause