Hochschulschrift

First-Order Model Checking on Generalisations of Pushdown Graphs

zu Verbundenen Objekten

Weitere Titel: Das FO-Model-Checking-Problem auf Verallgemeinerungen von Konfigurationsgraphen von Kellerautomaten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

Umfang: Online-Ressource

Sprache: Englisch

Anmerkungen: Darmstadt, Technische Universität Darmstadt, Dissertation, 2011

Ereignis: Veröffentlichung

(wo): Darmstadt

(wer): Universitäts- und Landesbibliothek Darmstadt

(wann): 2011

Urheber: Kartzow, Alexander

Beteiligte Personen und Organisationen: Otto, Martin
Niwiński, Damian
Kreutzer, Stephan

URN: urn:nbn:de:tuda-tuprints-26815

Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Letzte Aktualisierung: 14.08.2025, 10:57 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Original beim Datenpartner anzeigen

Objekttyp

Hochschulschrift

Beteiligte

Kartzow, Alexander
Otto, Martin
Niwiński, Damian
Kreutzer, Stephan
Universitäts- und Landesbibliothek Darmstadt

Entstanden

2011

Ähnliche Objekte (12)

First-Order Model-Checking in Random Graphs and Complex Networks

First-order logic

The parameterized space complexity of model-checking bounded variable first-order logic

First-order dynamic logic

First-Order Definability of Trees and Sparse Random Graphs

Scalable online first-order monitoring

Arbeitspapier

First-order and second-order ambiguity aversion

Arbeitspapier

A smoothing test under first-order autoregressive processes and a first-order moving-average correction

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic

Hochschulschrift

First-order theorem proving modulo equations

First-Order Model-Checking in Random Graphs and Complex Networks

First-order logic

The parameterized space complexity of model-checking bounded variable first-order logic

First-order dynamic logic

First-Order Definability of Trees and Sparse Random Graphs

Scalable online first-order monitoring

Arbeitspapier

First-order and second-order ambiguity aversion

Arbeitspapier

A smoothing test under first-order autoregressive processes and a first-order moving-average correction

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic

Hochschulschrift

First-order theorem proving modulo equations

First-Order Model-Checking in Random Graphs and Complex Networks

First-order logic

The parameterized space complexity of model-checking bounded variable first-order logic

First-order dynamic logic

First-Order Definability of Trees and Sparse Random Graphs

Scalable online first-order monitoring

Arbeitspapier

First-order and second-order ambiguity aversion

Arbeitspapier

A smoothing test under first-order autoregressive processes and a first-order moving-average correction

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic

Hochschulschrift

First-order theorem proving modulo equations

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

First-Order Model Checking on Generalisations of Pushdown Graphs

Angaben zum Objekt

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Objekttyp

Beteiligte

Entstanden

Ähnliche Objekte (12)

First-Order Model-Checking in Random Graphs and Complex Networks

First-order logic

First-order logic

The parameterized space complexity of model-checking bounded variable first-order logic

First-order dynamic logic

First-Order Definability of Trees and Sparse Random Graphs

Scalable online first-order monitoring

First-order and second-order ambiguity aversion

A smoothing test under first-order autoregressive processes and a first-order moving-average correction

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic

First-order theorem proving modulo equations

First-Order Model-Checking in Random Graphs and Complex Networks

First-order logic

First-order logic

The parameterized space complexity of model-checking bounded variable first-order logic

First-order dynamic logic

First-Order Definability of Trees and Sparse Random Graphs

Scalable online first-order monitoring

First-order and second-order ambiguity aversion

A smoothing test under first-order autoregressive processes and a first-order moving-average correction

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic

First-order theorem proving modulo equations

First-Order Model-Checking in Random Graphs and Complex Networks

First-order logic

First-order logic

The parameterized space complexity of model-checking bounded variable first-order logic

First-order dynamic logic

First-Order Definability of Trees and Sparse Random Graphs

Scalable online first-order monitoring

First-order and second-order ambiguity aversion

A smoothing test under first-order autoregressive processes and a first-order moving-average correction

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic

First-order theorem proving modulo equations

Verbundene Objekte

Passwort zurücksetzen