scientific article; zbMATH DE number 845925

MaRDI QIDQ4864469zbMATH OpenFDO

Authors Paliath Narendran

Publication date 20 February 1996

zbMATH Keywords

disunification problems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Extensions of unification modulo ACUI
• Unification Modulo Chaining
• Unification and matching modulo nilpotence
• Unification modulo ACUI plus distributivity axioms
• Unification Modulo Builtins
• Unification modulo ACUI plus homomorphisms/distributivity.
• Unimodularity unified
• scientific article; zbMATH DE number 4043300
• Unification modulo homomorphic encryption
• Unification modulo homomorphic encryption

Cited in

(3)

• Unification Modulo Chaining
• Extensions of unification modulo ACUI
• Disunification in ACI1 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 Q4864469)