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

Journal article

Peer reviewed

Information processing letters, Vol.58(4), pp.185-188

1996

Abstract

Algorithmics. Computability. Computer arithmetics

Applied sciences

Automata. Abstract machines. Turing machines

Computer science; control theory; systems

Exact sciences and technology

Language theory and syntactical analysis

Theoretical computing

7 Record Views

Title: The state complexity of ΣL and its connection with temporal logic
Creators: J.-C Birget - Department of Computer Science and Engineering, University of Nebraska, Ferguson Hall, Lincoln, NE 68588-0115, United States
Publication Details: Information processing letters, Vol.58(4), pp.185-188
Date published: 1996
Publisher: Elsevier Science
Academic Unit: Computer Science (FASC)
Language: English
Resource Type: Journal article
Identifiers: 991031665981604646