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

Yanyan Li

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