Functionals Using Bounded Information and the Dynamics of Algorithms

DOI10.1109/LICS.2012.45zbMath1362.68074OpenAlexW2086445037WikidataQ130974434 ScholiaQ130974434MaRDI QIDQ2986810

Pierre Valarcher, Serge Grigorieff

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2012.45

zbMATH Keywords

operational semanticsabstract state machinestheory of algorithmstype-2 computability

Mathematics Subject Classification ID

This page was built for publication: Functionals Using Bounded Information and the Dynamics of Algorithms