Going beyond turing with P automata: regular observer omega-languages and partial adult halting / Rudolf Freund, Sergui Ivanov, Ludwig Staiger

Kurzanzeige
cbs.date.changed2021-07-27
cbs.date.creation2016-04-07
cbs.picatypeOa
cbs.publication.displayformHalle : Institute of Computer Science, Faculty of Natural Sciences III, Martin-Luther-University Halle-Wittenberg, January 2016
dc.contributor.authorFreund, Rudolf
dc.contributor.authorIvanov, Sergui
dc.contributor.authorStaiger, Ludwig
dc.date.accessioned2025-05-28T21:39:09Z
dc.date.issued2016
dc.format.extent1 Online-Ressource (17 Seiten = 0,45 MB) : Diagramme
dc.genrebook
dc.identifier.ppn856389099
dc.identifier.urihttps://epflicht.bibliothek.uni-halle.de/handle/123456789/2904
dc.identifier.urnurn:nbn:de:gbv:3:2-53435
dc.identifier.vl-id2402926
dc.language.isoeng
dc.publisherInstitute of Computer Science, Faculty of Natural Sciences III, Martin-Luther-University Halle-Wittenberg
dc.relation.ispartofseriesTechnische Berichte ; 2016/01 ppn:584751885
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004
dc.titleGoing beyond turing with P automata: regular observer omega-languages and partial adult halting / Rudolf Freund, Sergui Ivanov, Ludwig Staiger
dc.typeBook
dspace.entity.typeMonograph
local.accessrights.itemAnonymous
local.openaccesstrue

Dateien

Originalbündel
Gerade angezeigt 1 - 1 von 1
Vorschaubild
Name:
urn_nbn_de_gbv_3_2-53435.pdf
Größe:
460.96 KB
Format:
Adobe Portable Document Format
Beschreibung:
Going beyond turing with P automata: regular observer omega-languages and partial adult halting
Herunterladen

Sammlungen

E-Book