scientific article; zbMATH DE number 1447313

MaRDI QIDQ4954009zbMATH OpenFDO

Authors Alexandre Boudet

Publication date 18 May 2000

Full work available at URL https://eudml.org/doc/120383, http://www.emis.de/journals/DMTCS/volumes/abstracts/dm040102.abs.html

zbMATH Keywords

syntactic equational theoriesunification of higher-order patterns

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1722699
• Unification of higher-order patterns in linear time and space
• Higher-order pattern generalization modulo equational theories
• Linear unification of higher-order patterns
• Modular AC unification of higher-order patterns

Cited in

(9)

• Theory and practice of unparsed patterns for metacompilation
• scientific article; zbMATH DE number 1303340 (Why is no real title available?)
• scientific article; zbMATH DE number 2080020 (Why is no real title available?)
• Unification of higher-order patterns in linear time and space
• Linear unification of higher-order patterns
• Modular AC unification of higher-order patterns
• Theory and practice of minimal modular higher-order \(E\)-unification
• Logic Programming
• Modular higher-order equational preunification

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