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

scientific article; zbMATH DE number 3541921

From MaRDI portal

Publication:4117366

Jump to:navigation, search

zbMath0347.68019MaRDI QIDQ4117366

No author found.

Publication date: 1976

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (5)

Verifying Concurrent Graph Algorithms ⋮ An axiomatic proof technique for parallel programs ⋮ Fine-grained concurrency with separation logic ⋮ The lifeness property of on-the-fly garbage collector - a proof ⋮ Programmed deallocation without dangling reference

This page was built for publication:

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