- Sprache
-
Englisch
- Identifier
-
1168237661
- Reihe
-
WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik; 2004, 9
Thema
Reguläre Sprache ; Dot-Depth-Hierarchie
Beteiligte Personen und Organisationen
Borchert, Bernd
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Borchert, Bernd
Ähnliche Objekte (12)
The atnext/atprevious hierarchy on the starfree languages
The dot-depth and the polynomial hierarchy correspond on the delta levels
Formal Language Characterizations of P, NP, and PSPACE
Deterministically and Sudoku-Deterministically Recognizable Picture Languages
Segment-based Visual Cryptography
Exponential Multiplication Schemes
Searching paths of constant bandwidth
Parameterized maximization
On parameterized enumeration
RAVEN : real-time analyzing and verification environment
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis
The Tecton Concept Library
The atnext/atprevious hierarchy on the starfree languages
The dot-depth and the polynomial hierarchy correspond on the delta levels
Formal Language Characterizations of P, NP, and PSPACE
Deterministically and Sudoku-Deterministically Recognizable Picture Languages
Segment-based Visual Cryptography
Exponential Multiplication Schemes
Searching paths of constant bandwidth
Parameterized maximization
On parameterized enumeration
RAVEN : real-time analyzing and verification environment
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis
The Tecton Concept Library
The atnext/atprevious hierarchy on the starfree languages
The dot-depth and the polynomial hierarchy correspond on the delta levels
Formal Language Characterizations of P, NP, and PSPACE
Deterministically and Sudoku-Deterministically Recognizable Picture Languages
Segment-based Visual Cryptography
Exponential Multiplication Schemes
Searching paths of constant bandwidth
Parameterized maximization
On parameterized enumeration
RAVEN : real-time analyzing and verification environment
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis