Automata and Computability
Latest Publications

TOTAL DOCUMENTS

50

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer New York

9781461273097, 9781461218449

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rice’s Theorem

Automata and Computability ◽

10.1007/978-1-4612-1844-9_42 ◽

1997 ◽

pp. 245-248

Author(s):

Dexter C. Kozen

Download Full-text

Automata on Terms

Automata and Computability ◽

10.1007/978-1-4612-1844-9_19 ◽

1997 ◽

pp. 108-113

Author(s):

Dexter C. Kozen

Download Full-text

The Myhill—Nerode Theorem

Automata and Computability ◽

10.1007/978-1-4612-1844-9_17 ◽

1997 ◽

pp. 95-99

Author(s):

Dexter C. Kozen

Download Full-text

More on Regular Sets

Automata and Computability ◽

10.1007/978-1-4612-1844-9_4 ◽

1997 ◽

pp. 19-24

Author(s):

Dexter C. Kozen

Keyword(s):

Regular Sets

Download Full-text

Pattern Matching and Regular Expressions

Automata and Computability ◽

10.1007/978-1-4612-1844-9_8 ◽

1997 ◽

pp. 44-48

Author(s):

Dexter C. Kozen

Keyword(s):

Pattern Matching ◽

Regular Expressions

Download Full-text

Regular Expressions and Finite Automata

Automata and Computability ◽

10.1007/978-1-4612-1844-9_9 ◽

1997 ◽

pp. 49-54

Author(s):

Dexter C. Kozen

Keyword(s):

Finite Automata ◽

Regular Expressions

Download Full-text

The λ-Calculus

Automata and Computability ◽

10.1007/978-1-4612-1844-9_45 ◽

1997 ◽

pp. 262-268

Author(s):

Dexter C. Kozen

Download Full-text

While Programs

Automata and Computability ◽

10.1007/978-1-4612-1844-9_46 ◽

1997 ◽

pp. 269-273

Author(s):

Dexter C. Kozen

Download Full-text

Undecidable Problems About CFLs

Automata and Computability ◽

10.1007/978-1-4612-1844-9_43 ◽

1997 ◽

pp. 249-255

Author(s):

Dexter C. Kozen

Download Full-text

Strings and Sets

Automata and Computability ◽

10.1007/978-1-4612-1844-9_2 ◽

1997 ◽

pp. 7-13

Author(s):

Dexter C. Kozen

Download Full-text