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
A quick construction of a retraction of all retractions for stable bifinites - MaRDI portal

A quick construction of a retraction of all retractions for stable bifinites

From MaRDI portal

Publication:1891153

Jump to:navigation, search

DOI10.1006/INCO.1995.1019zbMath0828.06002OpenAlexW1978069714MaRDI QIDQ1891153

Roberto M. Amadio

Publication date: 18 December 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00077025/file/RR-1785.pdf

zbMATH Keywords

retract domain theory stable maps stable bifinite meet cpo stable functional space

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Ordered sets (06A99)

This page was built for publication: A quick construction of a retraction of all retractions for stable bifinites

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