An algebraic approach to computations with progress

From MaRDI portal
(Redirected from Publication:299188)


DOI10.1016/J.JLAMP.2015.11.009MaRDI QIDQ299188zbMATH OpenOpenAlexWikidataFDO

Authors Walter Guttmann

Publication date 22 June 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.11.009


zbMATH Keywords

relationstimeapproximation orderaxiomatic program semanticsiteration algebrastraces

Mathematics Subject Classification ID



Recommendations


Cites work


Cited in
(4)


Describes a project that uses

Uses Software





This page was built for publication: An algebraic approach to computations with progress

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q299188)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=An_algebraic_approach_to_computations_with_progress&oldid=60755154"
Powered by MediaWiki