Arithmetical and Hyperarithmetical Worm Battles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Fernández Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann. Arithmetical and Hyperarithmetical Worm Battles. Journal of Logic and Computation, 32(8):1558-1584, 2022. [doi]

This author has not been identified. Look up 'David Fernández Duque' in GoogleThis author has not been identified. Look up 'Joost J. Joosten' in GoogleThis author has not been identified. Look up 'Fedor Pakhomov' in GoogleThis author has not been identified. Look up 'Konstnatinos Papafilippou' in GoogleThis author has not been identified. Look up 'Andreas Weiermann' in Google

runs on WebDSL