A simple conservation proof for ADS

A simple conservation proof for ADS

TitleA simple conservation proof for ADS
Publication TypeUnpublished
Year of Publication2015
AuthorsYokoyama K
Series Titleeasuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Schloss Dagstuhl
Date Published09/2015
InstitutionLeibniz Center for Informatics
CityDagstuhl, Germany
Undefined