scientific article; zbMATH DE number 68600

MaRDI QIDQ4014475zbMATH OpenFDO

Authors Zbigniew Habasiński

Publication date 5 October 1992

zbMATH Keywords

logic programmingnondeterministic algorithminfinite rational treessolving sets of equations between terms

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 4110161
• scientific article; zbMATH DE number 4170894
• Unification of kinded infinite trees
• scientific article; zbMATH DE number 3921947
• Semantics of infinite tree logic programming

Cited in

(3)

• scientific article; zbMATH DE number 2207280 (Why is no real title available?)
• scientific article; zbMATH DE number 4110161 (Why is no real title available?)
• Unification of kinded infinite trees

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