Zum Inhalt springen

Grobler, Mario [Verfasser:in]; Sabellek, Leif [Verfasser:in]; Siebertz, Sebastian [Verfasser:in] ; Mario Grobler and Leif Sabellek and Sebastian Siebertz [Mitwirkende:r]

Remarks on Parikh-Recognizable Omega-languages

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
Kolodziejczyk, Leszek Aleksander [Verfasser:in]; Michalewski, Henryk [Verfasser:in]; Pradic, Pierre [Verfasser:in]; Skrzypczak, Michal [Verfasser:in] ; Leszek Aleksander Kolodziejczyk and Henryk Michalewski and Pierre Pradic and Michal Skrzypczak [Mitwirkende:r]

The Logical Strength of Büchi's Decidability Theorem

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Dörband, Frederic [Verfasser:in] ; Vogler, Heiko [Sonstige Person, Familie und Körperschaft]; Daviaud, Laure [Sonstige Person, Familie und Körperschaft]

Characterisation Theorems for Weighted Tree Automaton Models

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Technische Universität Dresden, 2022
Kolodziejczyk, Leszek [Verfasser:in]

The reverse mathematics of Büchi’s decidability theorem

Online ansehen
Schließen

Zugang

... zum Video via DOI (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Erscheinungsort nicht ermittelbar]: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery, 2019

Erschienen in: Reverse Mathematics of Combinatorial Principles (19w5111) ; (Jan. 2019)
Michaux, Christian; Villemaire, Roger

Automata, Languages and Programming: Cobham's Theorem seen through Büchi's Theorem

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.

Springer Berlin Heidelberg, 1993

Erschienen in: Automata, Languages and Programming (1993), Seite 325-334
Bès, Alexis

Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem

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.

Cambridge University Press (CUP), 1997

Erschienen in: Journal of Symbolic Logic, 62 (1997) 4, Seite 1280-1296
Bès, Alexis

Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem

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.

Association for Symbolic Logic, Inc., 1997

Erschienen in: The Journal of Symbolic Logic, 62 (1997) 4, Seite 1280-1296
Van, Do Long; Huy, Phan Trung

Varieties of finite monoids and Büchi-McNaughton theorem

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.

Elsevier BV, 1992

Erschienen in: Theoretical Computer Science, 98 (1992) 2, Seite 321-337
Jantsch, Simon; Norrish, Michael

Interactive Theorem Proving: Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata

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.

Springer International Publishing, 2018

Erschienen in: Interactive Theorem Proving (2018), Seite 306-323
Fülöp, Zoltán; Stüber, Torsten; Vogler, Heiko

A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids

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.

Springer Science and Business Media LLC, 2012

Erschienen in: Theory of Computing Systems, 50 (2012) 2, Seite 241-278
Galota, Matthias; Vollmer, Heribert

Computer Science Logic: A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem

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.

Springer Berlin Heidelberg, 2001

Erschienen in: Computer Science Logic (2001), Seite 355-368
Vogler, Heiko; Droste, Manfred; Herrmann, Luisa

Language and Automata Theory and Applications: A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem

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.

Springer International Publishing, 2016

Erschienen in: Language and Automata Theory and Applications (2016), Seite 127-139

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr