scientific article; zbMATH DE number 4110161

MaRDI QIDQ3833653zbMATH OpenFDO

Authors Zdzislaw Habasinski

Publication date 1989

zbMATH Keywords

term rewritingunificationlogic programming

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Artificial intelligence (68T99) Automata and formal grammars in connection with logical questions (03D05) Abstract data types; algebraic specification (68Q65) Algorithms in computer science (68W99)

Recommendations

• scientific article; zbMATH DE number 68600
• scientific article; zbMATH DE number 4090847
• scientific article; zbMATH DE number 3921947
• Unification of kinded infinite trees
• scientific article; zbMATH DE number 4170894

Cited in

(5)

• scientific article; zbMATH DE number 4170894 (Why is no real title available?)
• scientific article; zbMATH DE number 2207280 (Why is no real title available?)
• scientific article; zbMATH DE number 68600 (Why is no real title available?)
• An even faster solver for general systems of equations
• 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 Q3833653)