Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Building and combining matching algorithms - MaRDI portal

Building and combining matching algorithms

From MaRDI portal

Publication:2185488

Jump to:navigation, search

DOI10.1007/978-3-030-22102-7_24zbMath1444.68089OpenAlexW2955302716MaRDI QIDQ2185488

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

matching unification combination of theories syntactic theories

Mathematics Subject Classification ID

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2185488&oldid=14708619"