Decidability and undecidability of tied devices with stopwatches

Decidability and undecidability of tied devices with stopwatches

TitleDecidability and undecidability of tied devices with stopwatches
Publication TypeUnpublished
Year of Publication2015
AuthorsOgawa M
Series TitleContinuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany
Date Published09/2015
Undefined