Building and combining matching algorithms

DOI10.1007/978-3-030-22102-7_24MaRDI QIDQ2185488zbMATH OpenOpenAlexFDO

Authors Christophe Ringeissen

Publication date 4 June 2020

Full work available at URL https://hal.inria.fr/hal-02187244/file/survey-combi-matching.pdf

zbMATH Keywords

matchingunificationcombination of theoriessyntactic theories

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Grammars and rewriting systems (68Q42) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 6863589
• Combining matching algorithms: The regular case
• Combining matching algorithms: The regular case
• On the support of matching algorithms
• Dynamic Matching Algorithms in Practice
• scientific article; zbMATH DE number 5691235
• An algebraic matching algorithm
• A short note on matching algorithms
• Solving (large scale) matching problems combinatorially

Cited in

(3)

• scientific article; zbMATH DE number 6863589 (Why is no real title available?)
• Matching in a class of combined non-disjoint theories.
• scientific article; zbMATH DE number 1722712 (Why is no real title available?)

This page was built for publication: Building and combining matching algorithms

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