scientific article; zbMATH DE number 6536267

MaRDI QIDQ3464616zbMATH OpenFDO

Authors Andreas Weiermann, Martijn Baartse

Publication date 27 January 2016

zbMATH Keywords

phase transitionprovabilitylong finite sequences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)

This page was built for publication:

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