Algebraische Charakterisierungen von positiver Quantorenalternierung bei Zwei-Variablen-Logik
- Weitere Titel
-
Algebraic characterizations of positive quantifier alternation in Two-Variable Logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Stuttgart, Universität Stuttgart, Bachelorarbeit
- Klassifikation
-
Mathematik
- Schlagwort
-
Mathematische Logik
Zwei Variable
Ordnungsideal
Monoid
Pseudovarietät
Homomorphismus
Geordnete Menge
Halbgruppe
Geordnete Halbgruppe
Halbordnung
Unterhalbgruppe
Entscheidbarkeit
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2013
- Urheber
-
Fleischer, Lukas
- URN
-
urn:nbn:de:bsz:93-opus-88396
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Fleischer, Lukas
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2013
Ähnliche Objekte (12)
Algebraische Funktionenkörper einer Variablen
Algebraische Termgraphensetzung mit gebundenen Variablen
Ein Satz über algebraische Functionen mehrer Variablen.
Komplexe Variablen
Deterministische endliche Automaten und Zwei-Variablen-Logik erster Stufe
Trennung der Variablen
46.2. Logische Variablen.
Theorie der algebraischen Funktionen einer Variablen und ihre Anwendung auf algebraische Kurven und Integrale
Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen Wörtern
Hocker aus variablen Konstruktionsteilen
Regal aus variablen Konstruktionsteilen
Sitzgruppe mit variablen Elementen
Algebraische Funktionenkörper einer Variablen
Algebraische Termgraphensetzung mit gebundenen Variablen
Ein Satz über algebraische Functionen mehrer Variablen.
Komplexe Variablen
Deterministische endliche Automaten und Zwei-Variablen-Logik erster Stufe
Trennung der Variablen
46.2. Logische Variablen.
Theorie der algebraischen Funktionen einer Variablen und ihre Anwendung auf algebraische Kurven und Integrale
Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen Wörtern
Hocker aus variablen Konstruktionsteilen
Regal aus variablen Konstruktionsteilen
Sitzgruppe mit variablen Elementen
Algebraische Funktionenkörper einer Variablen
Algebraische Termgraphensetzung mit gebundenen Variablen
Ein Satz über algebraische Functionen mehrer Variablen.
Komplexe Variablen
Deterministische endliche Automaten und Zwei-Variablen-Logik erster Stufe
Trennung der Variablen
46.2. Logische Variablen.
Theorie der algebraischen Funktionen einer Variablen und ihre Anwendung auf algebraische Kurven und Integrale
Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen Wörtern
Hocker aus variablen Konstruktionsteilen
Regal aus variablen Konstruktionsteilen