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
First steps towards an institution of algebra replacement systems - MaRDI portal

First steps towards an institution of algebra replacement systems

From MaRDI portal

Publication:1272540

Jump to:navigation, search

DOI10.1023/A:1008695322792zbMath0933.68092MaRDI QIDQ1272540

Martin Grosse-Rhode

Publication date: 18 May 1999

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

algebra replacement systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

This page was built for publication: First steps towards an institution of algebra replacement systems

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