scientific article; zbMATH DE number 1927411

zbMATH Open1013.68541MaRDI QIDQ4484328FDOQ4484328

Authors: Gérard Huet 

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100003.htm

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

Recommendations

• Higher-order unification and matching
• A combinatory logic approach to higher-order E-unification
• Higher order E-unification
• Modular higher-order E-unification
• Functions-as-constructors Higher-order Unification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mechanization of proofs and logical operations (03B35) Natural language processing (68T50)

Cited In (4)

• What is essential unification?
• Higher-order unification and matching
• A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
• Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions

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