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

scientific article; zbMATH DE number 3573225

From MaRDI portal

Publication:4144162

Jump to:navigation, search

zbMath0367.68007MaRDI QIDQ4144162

Dines Bjørner

Publication date: 1977

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 (2)

An experiment in formal definition of operating system facilities ⋮ Correctness proofs of syntax-directed processing descriptions by attributes

This page was built for publication:

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