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

scientific article; zbMATH DE number 3562484

From MaRDI portal

Jump to:navigation, search

zbMath0361.68035MaRDI QIDQ4134929

Richard J. Lipton

Publication date: 1975

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

Unifying Operational Weak Memory Verification: An Axiomatic Approach, Verifying the correctness of distributed systems via mergeable parallelism, Correctness of parallel programs: The Church-Rosser approach

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