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
Order-Sorted Unification with Regular Expression Sorts. - MaRDI portal

Order-Sorted Unification with Regular Expression Sorts.

From MaRDI portal

Publication:5389145

Jump to:navigation, search

DOI10.4230/LIPIcs.RTA.2010.193zbMath1236.68174OpenAlexW2126363312MaRDI QIDQ5389145

Mircea Marin, Temur Kutsia

Publication date: 25 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_031c.html

zbMATH Keywords

sorts unification regular expression

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70)

Related Items (1)

Anti-unification for unranked terms and hedges

This page was built for publication: Order-Sorted Unification with Regular Expression Sorts.

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