scientific article; zbMATH DE number 4110161

zbMATH Open0677.68097MaRDI QIDQ3833653FDOQ3833653

Authors: Zdzislaw Habasinski 

Publication date: 1989

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)