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

Jump to:navigation, search

zbMath0548.68016MaRDI QIDQ3340122

Jan A. Bergstra, John-Jules Ch. Meyer

Publication date: 1982

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

zbMATH Keywords

boundedness properties data type specification algebraic data types equational specifications with hidden functions finite data types finite minimal unoid

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (2)

An upper bound for the equational specification of finite state services ⋮ Combining programs and state machines

This page was built for publication:

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