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
Confluence of layered rewrite systems - MaRDI portal

Confluence of layered rewrite systems

From MaRDI portal

Publication:5351972

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2015.423zbMath1373.68276arXiv1509.04699OpenAlexW2963161407MaRDI QIDQ5351972

Mizuhito Ogawa, Jean-Pierre Jouannaud, Jiaxiang Liu

Publication date: 31 August 2017

Full work available at URL: https://arxiv.org/abs/1509.04699

zbMATH Keywords

critical pairs confluence layers decreasing diagrams cyclic unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Unification of drags and confluence of drag rewriting ⋮ Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs

This page was built for publication: Confluence of layered rewrite systems

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