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
Algebra and Coalgebra in Computer Science - MaRDI portal

Algebra and Coalgebra in Computer Science

From MaRDI portal

Publication:5492812

Jump to:navigation, search

DOI10.1007/11548133zbMath1151.68466OpenAlexW249899439MaRDI QIDQ5492812

Gordon D. Plotkin

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11548133

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Sound and complete equational reasoning over comodels

This page was built for publication: Algebra and Coalgebra in Computer Science

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