The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2007"

AuteurPetter Remen
TitelAutomata on flows
Jaar2007
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
SerieILLC Master of Logic Theses / ILLC ; MoL-2007-22
SamenvattingAutomata on flows Petter Remen Abstract: We introduce a coalgebraic generalization of an infinite word, namely a sourced flow, followed by a definition of what it means for an automaton to accept a sourced flow, thereby generalizing the notion of \omega-regularity. We show that this definition yields a finitary description of acceptance for finite sourced flows. We end by presenting three characterization results on regular classes of finite sourced flows.
Soort documentPreprint
Download bestand
Document finderUvA-Linker