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
Behavioural Categoricity of Abstract Data Type Specifications - MaRDI portal

Behavioural Categoricity of Abstract Data Type Specifications

From MaRDI portal

Publication:3666257

Jump to:navigation, search

DOI10.1093/comjnl/26.4.289zbMath0517.68040OpenAlexW1975598436MaRDI QIDQ3666257

Pierre Lescanne

Publication date: 1983

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/26.4.289

zbMATH Keywords

algebraic specification

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

On the enumeration of closures and environments with an application to random generation

This page was built for publication: Behavioural Categoricity of Abstract Data Type Specifications

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