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
scientific article; zbMATH DE number 2208122 - MaRDI portal

scientific article; zbMATH DE number 2208122

From MaRDI portal

Publication:5693622

Jump to:navigation, search

zbMath1073.06007MaRDI QIDQ5693622

Nikolaos Galatos

Publication date: 26 September 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidability word problem variety of distributive residuated lattices

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Ordered semigroups and monoids (06F05) Word problems, etc. in computability and recursion theory (03D40) Free lattices, projective lattices, word problems (06B25)

Related Items (4)

An algebraic glimpse at bunched implications and separation logic ⋮ Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability ⋮ Generalized MV-algebras ⋮ Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids

This page was built for publication:

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