Publication

Found 1 results
Filters: Author is Mizuhito Ogawa  [Clear All Filters]
2015
Ogawa M.  2015.  Decidability and undecidability of tied devices with stopwatches. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.