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
Isomorphic data type transformations - MaRDI portal

Isomorphic data type transformations

From MaRDI portal

Publication:6591499

Jump to:navigation, search

DOI10.4204/eptcs.327.12MaRDI QIDQ6591499

Stephen J. Westfold, Alessandro Coglio

Publication date: 22 August 2024

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Isomorphic data type transformations

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