Graph explorer

Emil Jeřábek

Emil Jeřábek contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapEmil Jeřábek
13 nodes12 links
Emil Jeřábek13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAEmil JeřábekResearcherWThe theory of hereditar...preprint / 2021WIterated multiplication...preprint / 2021WOn the proof complexity...preprint / 2022WRules with parameters i...preprint / 2020WInduction rules in boun...preprint / 2019WRecursive functions and...preprint / 2019WRoot finding with thres...preprint / 2012WThe ubiquity of conserv...preprint / 2012WSequence encoding witho...preprint / 2012WThe complexity of admis...preprint / 2012WOpen induction in a bou...preprint / 2014WRules with parameters i...preprint / 2015
PersonSignal 1012 links

Emil Jeřábek

Researcher

Open