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
Term Rewriting and Applications - MaRDI portal

Term Rewriting and Applications

From MaRDI portal

Publication:5703875

Jump to:navigation, search

DOI10.1007/B135673zbMath1078.03012OpenAlexW2504734884MaRDI QIDQ5703875

Piotr Hoffman

Publication date: 11 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b135673

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40)

This page was built for publication: Term Rewriting and Applications

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