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

scientific article; zbMATH DE number 3566137

From MaRDI portal

Publication:4138099

Jump to:navigation, search

zbMath0363.68032MaRDI QIDQ4138099

Sten-Åke Tärnlund, K. L. Clark

Publication date: 1977

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (4)

Middle-out reasoning for synthesis and induction ⋮ Difference-list transformation for Prolog ⋮ Proof methods of declarative properties of definite programs ⋮ Program development schemata as derived rules

This page was built for publication:

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