Automata, Languages and Programming: A fixed-point theorem for recursive-enumerable languages and some considerations about fixed-point semantics of monadic programs
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Automata, Languages and Programming: A fixed-point theorem for recursive-enumerable languages and some considerations about fixed-point semantics of monadic programs