Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten an einer Lösung. Wir bitten Sie die Störung zu entschuldigen.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
 

Ergebnis der Suche nach: dcs=004*

Zurück zur Trefferliste


Treffer 9 von 12231 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1380285666
Art des Inhalts Aufgabensammlung
Titel Automata Theory and Logic / by Martin Hofmann, Martin Lange
Person(en) Hofmann, Martin (Verfasser)
Lange, Martin (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Ausgabe 1st ed. 2025
Verlag Berlin, Heidelberg : Springer Berlin Heidelberg, Imprint: Springer Vieweg
Zeitliche Einordnung Erscheinungsdatum: 2025
Umfang/Format Online-Ressource, XVIII, 419 p. 103 illus. : online resource.
Andere Ausgabe(n) Printed edition:: ISBN: 978-3-662-72155-1
Erscheint auch als Druck-Ausgabe: Lange, Martin: Automata Theory and Logic
Inhalt Monadic second order logic -- Alternating automata -- Star-free languages -- Omega-regular languages -- Büchi automata -- Parity games -- Tree automata
Persistent Identifier URN: urn:nbn:de:101:1-2510300316115.704691544268
DOI: 10.1007/978-3-662-72154-4
URL https://doi.org/10.1007/978-3-662-72154-4
ISBN/Einband/Preis 978-3-662-72154-4
Sprache(n) Englisch (eng)
Schlagwörter Endlicher Automat ; Formale Sprache ; Wort <Informatik> ; Baum <Mathematik> ; Monadische Logik
Automatentheorie ; Logik
DDC-Notation 004.015113 [DDC22ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 9 von 12231
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration