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

Jump to:navigation, search

zbMath0421.68021MaRDI QIDQ3854601

Jan A. Bergstra, J. V. Tucker

Publication date: 1980

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

zbMATH Keywords

algebraic specifications primitive recursive functions algebraic data types initial algebra semantics final algebra semantics

Mathematics Subject Classification ID

Data structures (68P05) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

A recursive second order initial algebra specification of primitive recursion ⋮ The data type variety of stack algebras ⋮ Algebraic specifications of computable and semicomputable data types ⋮ A completeness theorem for the expressive power of higher-order algebraic specifications

This page was built for publication:

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