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
Upper powerdomains of quasicontinuous dcpos - MaRDI portal

Upper powerdomains of quasicontinuous dcpos

From MaRDI portal

Publication:6562458

Jump to:navigation, search

DOI10.1016/j.tcs.2024.114663MaRDI QIDQ6562458

Hui Kou, Zhenchao Lyu, Unnamed Author

Publication date: 26 June 2024

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

monotone determined space Scott completion upper powerdomain directed upper powerspace strongly quasicontinuous

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Upper powerdomains of quasicontinuous dcpos

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