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
Finite quantifier hierarchies in relational algebras - MaRDI portal

Finite quantifier hierarchies in relational algebras

From MaRDI portal

Publication:2510771

Jump to:navigation, search

DOI10.1134/S0081543811060162zbMath1294.03024MaRDI QIDQ2510771

A. L. Semenov, S. F. Soprunov

Publication date: 4 August 2014

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Relational systems, laws of composition (08A02)

Related Items (1)

The lattice of definability: origins, recent developments, and further directions

This page was built for publication: Finite quantifier hierarchies in relational algebras

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