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

Jump to:navigation, search

zbMath0446.68010MaRDI QIDQ3891743

Peter Raulefs, Günter Hornung

Publication date: 1980

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

zbMATH Keywords

data type specifications abstract data types retractions terminal algebra semantics

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (3)

Structured algebraic specifications: A kernel language ⋮ Partial abstract types ⋮ On the data type extension problem for algebraic specifications

This page was built for publication:

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