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
Which arithmetical data types admit fracterm flattening? - MaRDI portal

Which arithmetical data types admit fracterm flattening?

From MaRDI portal

Publication:6588074

Jump to:navigation, search

DOI10.7561/sacs.2022.1.87MaRDI QIDQ6588074

J. V. Tucker, Jan A. Bergstra

Publication date: 15 August 2024

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

common meadow rational numbers equational specification initial algebra semantics fracterm fracterm flattening

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Which arithmetical data types admit fracterm flattening?

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