scientific article; zbMATH DE number 1332642

zbMATH Open0924.68049MaRDI QIDQ4259969FDOQ4259969

Authors: Heinz Fassbender, Sebastian Maneth 

Publication date: 9 September 1999

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-04/A98-04.html

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

Recommendations

• scientific article; zbMATH DE number 1222419
• Some results on equational unification
• scientific article; zbMATH DE number 1332630
• scientific article; zbMATH DE number 176152

zbMATH Keywords

functional logic programs\(E\)-unification problems

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (1)

• A strict border for the decidability of \(E\)-unification for recursive functions

Uses Software

• BABEL

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