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
On a term rewriting system controlled by sequences of integers - MaRDI portal

On a term rewriting system controlled by sequences of integers

From MaRDI portal

Publication:2702044

Jump to:navigation, search

zbMATH Open0979.08002MaRDI QIDQ2702044

Aleš Drápal

Publication date: 25 February 2002

zbMATH Keywords

braid groups word problem loops groupoids equational theory identity term rewriting system

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Equational logic, Mal'tsev conditions (08B05) Grammars and rewriting systems (68Q42) Word problems (aspects of algebraic structures) (08A50)

Related Items (1)

Rewrite systems for integer arithmetic

This page was built for publication: On a term rewriting system controlled by sequences of integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2702044)

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