Functionals using bounded information and the dynamics of algorithms

DOI10.1109/LICS.2012.45MaRDI QIDQ2986810zbMATH OpenOpenAlexWikidataFDO

Authors Serge Grigorieff, Pierre Valarcher

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

abstract state machinesoperational semanticstheory of algorithmstype-2 computability

Mathematics Subject Classification ID

Recommendations

• Resource-bounded continuity and sequentiality for type-two functionals
• scientific article; zbMATH DE number 176200
• scientific article; zbMATH DE number 4080902
• The computable kernel of abstract state machines
• Functions and functional on finite systems

Cited in

(4)

• Runtime analysis of non-elitist populations: from classical optimisation to partial information
• scientific article; zbMATH DE number 4080902 (Why is no real title available?)
• Functions and functional on finite systems
• Resource-bounded continuity and sequentiality for type-two functionals

This page was built for publication: Functionals using bounded information and the dynamics of algorithms

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