Algebraic caractérisations of NTIME$(F)$ and NTIME$(F, A)$ Hans-Jürgen Stenger RAIRO. Inform. théor., 18 4 (1984) 365-385 Published online: 01 February 2017 DOI: 10.1051/ita/1984180403651