Matching with multiplication and exponentiation (extended abstract)

DOI10.1017/S0960129505004883MaRDI QIDQ3372686zbMATH OpenOpenAlexFDO

Authors Bernard Lang

Publication date 10 March 2006

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129505004883

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Adventures in associative-commutative unification
• Combining matching algorithms: The regular case
• Combining matching algorithms: The regular case
• scientific article; zbMATH DE number 4049126
• scientific article; zbMATH DE number 1231538

Cited in

(4)

• scientific article; zbMATH DE number 4049126 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning
• Flat matching
• A matching process modulo a theory of categorical products

This page was built for publication: Matching with multiplication and exponentiation (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3372686)