Monografie

First-Order Closure and the Monadic Second-Order Alternation Hierarchy

zu Verbundenen Objekten

Sprache: Englisch

ISBN: 2192-6247

Identifier: 1080327045

Reihe: Technische Berichte des Instituts für Informatik der CAU Kiel; 9807

Thema: Informatik

Beteiligte Personen und Organisationen: Matz, Oliver

URN: http://nbn-resolving.org/urn:nbn:de:gbv:8:1-zs-00000219-a1

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

Letzte Aktualisierung: 26.01.2023, 13:54 MEZ

Datenpartner

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

Original beim Datenpartner anzeigen

Objekttyp

Monografie

Beteiligte

Matz, Oliver

Ähnliche Objekte (12)

Arbeitspapier

First-order and second-order ambiguity aversion

First-order logic

Monografie

Second-order productivity, second-order payoffs, and the Shapley value

Monografie

Second-order productivity, second-order payoffs, and the Owen value

First-order dynamic logic

Arbeitspapier

Observability and "second-order acts"

Optical second-order skyrmionic hopfion

Arbeitspapier

Gains from second-order approximations

Monografie

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

Arbeitspapier

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

First-Order Definability of Transition Structures

Arbeitspapier

First-order and second-order ambiguity aversion

First-order logic

Monografie

Second-order productivity, second-order payoffs, and the Shapley value

Monografie

Second-order productivity, second-order payoffs, and the Owen value

First-order dynamic logic

Arbeitspapier

Observability and "second-order acts"

Optical second-order skyrmionic hopfion

Arbeitspapier

Gains from second-order approximations

Monografie

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

Arbeitspapier

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

First-Order Definability of Transition Structures

Arbeitspapier

First-order and second-order ambiguity aversion

First-order logic

Monografie

Second-order productivity, second-order payoffs, and the Shapley value

Monografie

Second-order productivity, second-order payoffs, and the Owen value

First-order dynamic logic

Arbeitspapier

Observability and "second-order acts"

Optical second-order skyrmionic hopfion

Arbeitspapier

Gains from second-order approximations

Monografie

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

Arbeitspapier

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

First-Order Definability of Transition Structures

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 Closure and the Monadic Second-Order Alternation Hierarchy

Angaben zum Objekt

Verweise und Beziehungen

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Objekttyp

Beteiligte

Ähnliche Objekte (12)

First-order and second-order ambiguity aversion

First-order logic

First-order logic

Second-order productivity, second-order payoffs, and the Shapley value

Second-order productivity, second-order payoffs, and the Owen value

First-order dynamic logic

Observability and "second-order acts"

Optical second-order skyrmionic hopfion

Gains from second-order approximations

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

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

First-Order Definability of Transition Structures

First-order and second-order ambiguity aversion

First-order logic

First-order logic

Second-order productivity, second-order payoffs, and the Shapley value

Second-order productivity, second-order payoffs, and the Owen value

First-order dynamic logic

Observability and "second-order acts"

Optical second-order skyrmionic hopfion

Gains from second-order approximations

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

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

First-Order Definability of Transition Structures

First-order and second-order ambiguity aversion

First-order logic

First-order logic

Second-order productivity, second-order payoffs, and the Shapley value

Second-order productivity, second-order payoffs, and the Owen value

First-order dynamic logic

Observability and "second-order acts"

Optical second-order skyrmionic hopfion

Gains from second-order approximations

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

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

First-Order Definability of Transition Structures

Verbundene Objekte

Passwort zurücksetzen