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

Jump to:navigation, search

zbMath0644.68023MaRDI QIDQ3787445

Eric G. Wagner

Publication date: 1988

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

zbMATH Keywords

primitive recursion block structure DHT-symmetric categories EDHT-category mathematical modeling of imperative programming languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

An algebraically specified language for data directed design

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