1 Treffer

• Going beyond turing with P automata: regular observer omega-languages and partial adult halting Freund, Rudolf ; Ivanov, Sergui ; Staiger, Ludwig Halle : Institute of Computer Science, Faculty of Natural Sciences III, Martin-Luther-University Halle-Wittenberg, January 2016