Polynomial upper bounds on the size of changes of a RAM+BOOL program as a tool for proving belonging to FP
From MaRDI portal
Publication:2253865
DOI10.1007/s10958-014-1831-1zbMath1320.68080OpenAlexW2031557554MaRDI QIDQ2253865
Publication date: 13 February 2015
Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-014-1831-1
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Cites Work
This page was built for publication: Polynomial upper bounds on the size of changes of a RAM+BOOL program as a tool for proving belonging to FP