The state complexity of Σ*L and its connection with temporal logic

Jean Camille Birget

doi:10.1016/0020-0190(96)00044-0

The state complexity of Σ*L and its connection with temporal logic

Jean Camille Birget

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	185-188
Number of pages	4
Journal	Information Processing Letters
Volume	58
Issue number	4
DOIs	https://doi.org/10.1016/0020-0190(96)00044-0
State	Published - May 27 1996
Externally published	Yes

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Signal Processing
Information Systems
Computer Science Applications

Keywords

Finite automata
Formal languages
State complexity
Temporal logic

Access to Document

10.1016/0020-0190(96)00044-0

Cite this

@article{bb2c8b9cd2b14bf6872672e0a755c61b,

title = "The state complexity of Σ*L and its connection with temporal logic",

keywords = "Finite automata, Formal languages, State complexity, Temporal logic",

author = "Birget, \{Jean Camille\}",

year = "1996",

month = may,

day = "27",

doi = "10.1016/0020-0190(96)00044-0",

language = "English (US)",

volume = "58",

pages = "185--188",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "4",

}

TY - JOUR

T1 - The state complexity of Σ*L and its connection with temporal logic

AU - Birget, Jean Camille

PY - 1996/5/27

Y1 - 1996/5/27

KW - Finite automata

KW - Formal languages

KW - State complexity

KW - Temporal logic

UR - https://www.scopus.com/pages/publications/30244482752

UR - https://www.scopus.com/pages/publications/30244482752#tab=citedBy

U2 - 10.1016/0020-0190(96)00044-0

DO - 10.1016/0020-0190(96)00044-0

M3 - Article

AN - SCOPUS:30244482752

SN - 0020-0190

VL - 58

SP - 185

EP - 188

JO - Information Processing Letters

JF - Information Processing Letters

IS - 4

ER -

The state complexity of Σ*L and its connection with temporal logic

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Cite this