Zum Inhalt springen Flick, Nils Erik [VerfasserIn] ; Habel, Annegret [AkademischeR BetreuerIn]; König, Barbara [Sonstige Person, Familie und Körperschaft] Proving correctness of graph programs relative to recursively nested conditions Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2016 Flick, Nils Erik [VerfasserIn] Proving correctness of graph programs relative to recursively nested conditions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2016 Erschienen in: Electronic communications of the EASST ; Bd. 73 (2016), insges. 20 S. Flick, Nils Erik [VerfasserIn] Proving correctness of graph programs relative to recursively nested conditions Hochschulschriften Online ansehen Schließen > Links http://oops.uni-oldenburg.de/2895/ Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server, 2016 Flick, Nils Erik [VerfasserIn] On correctness of graph programs relative to recursively nested conditions Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-1403/paper8.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2015 Erschienen in: CEUR workshop proceedings ; 1403(2015), Seite 97-112 Flick, Nils Erik [VerfasserIn] Derivation languages of graph grammars Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2013 Erschienen in: Electronic communications of the EASST ; Bd. 61.2013, insges. 22 S. Flick, Nils Erik [VerfasserIn] ; Habel, Annegret [AkademischeR BetreuerIn]; König, Barbara [AkademischeR BetreuerIn] Proving correctness of graph programs relative to recursively nested conditions Bücher Online ansehen Schließen > Zugang https://d-nb.info/112248190X/34 kostenfrei Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg: BIS der Universität Oldenburg, 2016 Flick, Nils Erik [VerfasserIn]; Engelmann, Björn [VerfasserIn] Analysis of petri nets with context-free structure changes Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2015 Erschienen in: Electronic communications of the EASST ; Bd. 71.2015, insges. 20 S. Flick, Nils Erik [VerfasserIn]; Engelmann, Björn [VerfasserIn] Analysis of Petri nets with context-free structure changes Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2015 Erschienen in: Electronic communications of the EASST ; Bd. 71 (2015), insgesamt 20 Seiten Engelmann, Björn [VerfasserIn]; Olderog, Ernst-Rüdiger [VerfasserIn]; Flick, Nils Erik [VerfasserIn] Closing the gap : formally verifying dynamically typed programs like statically typed ones using hoare logic Aufsätze Online ansehen Schließen > Zugang http://arxiv.org/abs/1501.02699 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2015 Erschienen in: De.arxiv.org ; 2015, 12. (Jan.), insges. 36 S. Flick, Nils Erik Theoretical Aspects of Computing - ICTAC 2015: Quotients of Unbounded Parallelism Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Theoretical Aspects of Computing - ICTAC 2015 Kudlek, Manfred; Flick, Nils Erik Properties of Languages with Catenation and Shuffle Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2014 Erschienen in: Fundamenta Informaticae Flick, Nils Erik; Kudlek, Manfred Developments in Language Theory: On a Hierarchy of Languages with Catenation and Shuffle Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Developments in Language Theory Kudlek, Manfred; Flick, Nils Erik A Hierarchy of Languages with Catenation and Shuffle Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2013 Erschienen in: Fundamenta Informaticae
Flick, Nils Erik [VerfasserIn] ; Habel, Annegret [AkademischeR BetreuerIn]; König, Barbara [Sonstige Person, Familie und Körperschaft] Proving correctness of graph programs relative to recursively nested conditions Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik [VerfasserIn] Proving correctness of graph programs relative to recursively nested conditions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2016 Erschienen in: Electronic communications of the EASST ; Bd. 73 (2016), insges. 20 S.
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik [VerfasserIn] Proving correctness of graph programs relative to recursively nested conditions Hochschulschriften Online ansehen Schließen > Links http://oops.uni-oldenburg.de/2895/ Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik [VerfasserIn] On correctness of graph programs relative to recursively nested conditions Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-1403/paper8.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2015 Erschienen in: CEUR workshop proceedings ; 1403(2015), Seite 97-112
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik [VerfasserIn] Derivation languages of graph grammars Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2013 Erschienen in: Electronic communications of the EASST ; Bd. 61.2013, insges. 22 S.
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik [VerfasserIn] ; Habel, Annegret [AkademischeR BetreuerIn]; König, Barbara [AkademischeR BetreuerIn] Proving correctness of graph programs relative to recursively nested conditions Bücher Online ansehen Schließen > Zugang https://d-nb.info/112248190X/34 kostenfrei Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg: BIS der Universität Oldenburg, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik [VerfasserIn]; Engelmann, Björn [VerfasserIn] Analysis of petri nets with context-free structure changes Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2015 Erschienen in: Electronic communications of the EASST ; Bd. 71.2015, insges. 20 S.
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik [VerfasserIn]; Engelmann, Björn [VerfasserIn] Analysis of Petri nets with context-free structure changes Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2015 Erschienen in: Electronic communications of the EASST ; Bd. 71 (2015), insgesamt 20 Seiten
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Engelmann, Björn [VerfasserIn]; Olderog, Ernst-Rüdiger [VerfasserIn]; Flick, Nils Erik [VerfasserIn] Closing the gap : formally verifying dynamically typed programs like statically typed ones using hoare logic Aufsätze Online ansehen Schließen > Zugang http://arxiv.org/abs/1501.02699 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2015 Erschienen in: De.arxiv.org ; 2015, 12. (Jan.), insges. 36 S.
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik Theoretical Aspects of Computing - ICTAC 2015: Quotients of Unbounded Parallelism Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Theoretical Aspects of Computing - ICTAC 2015
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kudlek, Manfred; Flick, Nils Erik Properties of Languages with Catenation and Shuffle Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2014 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Flick, Nils Erik; Kudlek, Manfred Developments in Language Theory: On a Hierarchy of Languages with Catenation and Shuffle Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Developments in Language Theory
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kudlek, Manfred; Flick, Nils Erik A Hierarchy of Languages with Catenation and Shuffle Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2013 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (10) Wert ausschließen Bücher (2) Wert ausschließen Hochschulschriften (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (8) Wert ausschließen Ohne Angabe (5) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (6) Wert ausschließen Nicht zu entscheiden (5) Wert ausschließen Deutsch (2) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (5) Wert ausschließen Mathematik (2) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Flick, Nils Erik (13) Wert ausschließen Engelmann, Björn (3) Wert ausschließen Kudlek, Manfred (3) Wert ausschließen Habel, Annegret (2) Wert ausschließen König, Barbara (1) Wert ausschließen König, Barbara (1) Wert ausschließen Olderog, Ernst-Rüdiger (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Lizenzfreie Online-Ressourcen (7) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen IOS Press (CrossRef) (2) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server (1) Wert ausschließen Diss online (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen