Algebraische Charakterisierungen von positiver Quantorenalternierung bei Zwei-Variablen-Logik
- Alternative title
-
Algebraic characterizations of positive quantifier alternation in Two-Variable Logic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Stuttgart, Universität Stuttgart, Bachelorarbeit
- Classification
-
Mathematik
- Keyword
-
Mathematische Logik
Zwei Variable
Ordnungsideal
Monoid
Pseudovarietät
Homomorphismus
Geordnete Menge
Halbgruppe
Geordnete Halbgruppe
Halbordnung
Unterhalbgruppe
Entscheidbarkeit
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Universitätsbibliothek der Universität Stuttgart
- (when)
-
2013
- Creator
-
Fleischer, Lukas
- URN
-
urn:nbn:de:bsz:93-opus-88396
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Fleischer, Lukas
- Universitätsbibliothek der Universität Stuttgart
Time of origin
- 2013
Other Objects (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