scientific article; zbMATH DE number 176128

zbMATH Open0777.68031MaRDI QIDQ4035229FDOQ4035229

Authors: Staffan Bonnier 

Publication date: 18 May 1993

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

Recommendations

• Completion for unification
• scientific article; zbMATH DE number 4112560
• scientific article; zbMATH DE number 4016225
• scientific article; zbMATH DE number 3871321
• Complete sets of unifiers and matchers in equational theories

zbMATH Keywords

weakly completeapproximation framesevaluation based unification algorithmsintegrating logic and functional programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30) Logic programming (68N17)

Cited In (2)

• Title not available (Why is that?)
• On Asymmetric Unification and the Combination Problem in Disjoint Theories

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