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
Congruences Generated by Extended Ground Term Rewrite Systems - MaRDI portal

Congruences Generated by Extended Ground Term Rewrite Systems

From MaRDI portal

Publication:3400560

Jump to:navigation, search

DOI10.3233/FI-2009-155zbMath1209.68292OpenAlexW1486933752MaRDI QIDQ3400560

Sándor Vágvölgyi

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-155

zbMATH Keywords

tree automaton extended ground term rewrite system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (1)

Symbol different term rewrite systems

This page was built for publication: Congruences Generated by Extended Ground Term Rewrite Systems

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