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:2729057

Jump to:navigation, search

zbMath0971.68579MaRDI QIDQ2729057

Flemming Nielson, Mooly Sagiv, Hanne Riis Nielson

Publication date: 6 November 2001

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (5)

Static analysis of topology-dependent broadcast networks ⋮ Types for the ambient calculus ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Kleene's Logic with equality ⋮ Validating firewalls using flow logics

This page was built for publication:

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