Matching with multiplication and exponentiation (extended abstract)

DOI10.1017/S0960129505004883zbMATH Open1087.03504OpenAlexW2006821803MaRDI QIDQ3372686FDOQ3372686

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Flat matching
• Title not available (Why is that?)
• Logic for Programming, Artificial Intelligence, and Reasoning

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)