- Weitere Titel
-
Formalsprachliche Theorie der Logikfragmente
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Stuttgart, Universität Stuttgart, Diss., 2014
- Klassifikation
-
Informatik
- Schlagwort
-
Theoretische Informatik ; Automatentheorie ; Entscheidbarkeit
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
-
Diekert, Volker
- URN
-
urn:nbn:de:bsz:93-opus-97834
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:27 MESZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Lauser, Alexander
- Diekert, Volker
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2015
Ähnliche Objekte (12)
Logic and the formal theory of natural language : selective bibliogr.
Logic : the theory of formal inference
Regulated rewriting in formal language theory
An introduction to formal language theory
Regulated rewriting in formal language theory
Formal language theory of hairpin formations
Formal analysis of signal protocol based on logic of events theory
Fichte’s formal logic
Learning language in logic
Precision, language and logic
CHAPTER X. - Material And Formal Logic.
Modal language of provability logic
Logic and the formal theory of natural language : selective bibliogr.
Logic : the theory of formal inference
Regulated rewriting in formal language theory
An introduction to formal language theory
Regulated rewriting in formal language theory
Formal language theory of hairpin formations
Formal analysis of signal protocol based on logic of events theory
Fichte’s formal logic
Learning language in logic
Precision, language and logic
CHAPTER X. - Material And Formal Logic.
Modal language of provability logic
Logic and the formal theory of natural language : selective bibliogr.
Logic : the theory of formal inference
Regulated rewriting in formal language theory
An introduction to formal language theory
Regulated rewriting in formal language theory
Formal language theory of hairpin formations
Formal analysis of signal protocol based on logic of events theory
Fichte’s formal logic
Learning language in logic
Precision, language and logic
CHAPTER X. - Material And Formal Logic.