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

Jump to:navigation, search

zbMath0639.68026MaRDI QIDQ3780425

Lawrence S. Moss, Joseph A. Goguen, José Meseguer

Publication date: 1987

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

zbMATH Keywords

finitely generated free algebras abstract data types Turing degree minimal algebra cosemicomputable many-sorted algebras finality minimal-state realizations finite signature

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Data structures (68P05) Equational categories (18C05) Categories of algebras (08C05) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Behavioural approaches to algebraic specifications. A comparative study

This page was built for publication:

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