Skip to contents

Puppis, Gabriele [Author]

Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 5955
Grädel, Erich [Editor]; Thomas, Wolfgang [Other]; Wilke, Thomas [Other]; Thomas, Wolfgang [Editor]; Wilke, Thomas [Editor]

Automata, logics, and infinite games : a guide to current research

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2500
Kufleitner, Manfred [Author]; Lauser, Alexander [Author]

Partially ordered two-way Büchi automata

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg.: Stuttgart: Universitätsbibliothek der Universität Stuttgart

Published in: Technischer Bericht ; 2010,3
Hutagalung, Milka [Author]

Buffered Simulation for Büchi Automata

View online
Schließen

Access

https://d-nb.info/1199317128/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kassel: Universitätsbibliothek Kassel, 2019
Eisinger, Jochen [Author]

Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition

View online
Schließen

Access

https://d-nb.info/993483666/34

kostenfrei

http://www.freidok.uni-freiburg.de/volltexte/6409/

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Olschewski, Jörg [Author]

Languages and strategies : a study of regular infinite games

View online
Schließen

Access

https://d-nb.info/104956121X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
Eisinger, Jochen [Author]

Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition ; Automata-based decision procedures for first-order logical theories with addition

View online
Schließen

Links

https://freidok.uni-freiburg.de/data/6409

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2009
Hausmann, Daniel [Author] ; Schröder, Lutz [Degree supervisor]; Schröder, Lutz [Other]; Kurz, Alexander [Other]

Satisfiability Checking for the Coalgebraic µ-Calculus

View online
Schließen

Access

https://d-nb.info/1166951138/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018
Quaas, Karin [Author]

Kleene-Schützenberger and Büchi Theorems for Weighted Timed Automata

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2010
Fritz, Carsten [Author] ; Wilke, Thomas [Contributor]; de Roever, Willem-Paul [Contributor]; Vardi, Moshe Y. [Contributor]

Simulation-based simplification of omega-automata

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-16446

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MACAU: Open Access Repository of Kiel University, 2005
Dörband, Frederic [Author] ; Vogler, Heiko [Other]; Daviaud, Laure [Other]

Characterisation Theorems for Weighted Tree Automaton Models

View online
Schließen

Access

https://d-nb.info/127286359X/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2022
Hutagalung, Milka [Author] ; Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik [Contributor]; Lange, Martin [Contributor]; Kučera, Antonín [Contributor]

Buffered Simulation for Büchi Automata - [published Version]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv), 2019
Puppis, Gabriele [Author]

Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 5955
Grädel, Erich [Author] ; Thomas, Wolfgang [Other]; Wilke, Thomas [Other]

Automata Logics, and Infinite Games : A Guide to Current Research

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2500
Quaas, Karin [Author]

Kleene-Schützenberger and Büchi theorems for weighted timed automata

View online
Schließen

Access

https://d-nb.info/100734959X/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Pflüger, Hermann [Author]

Untersuchung von Eindeutigen Büchi Automaten

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2011

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication