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 - MaRDI portal

scientific article

From MaRDI portal

Publication:3746867

Jump to:navigation, search

zbMath0607.68010MaRDI QIDQ3746867

Austin Melton, David A. Schmidt

Publication date: 1986

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

zbMATH Keywords

Scott topology order topology programming language semantics semantic domains complete partial order complete algebraic cpos

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Topological lattices (06B30)

This page was built for publication:

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