"Reverse mathematics and Weihrauch analysis motivated by finite complexity ..."

Zach BeMent, Jeffry L. Hirst, Asuka Wallace (2021)

Details and statistics

DOI: 10.3233/COM-210310

access: closed

type: Journal Article

metadata version: 2022-01-03

a service of  Schloss Dagstuhl - Leibniz Center for Informatics