Automata and Computability
Latest Publications

TOTAL DOCUMENTS

67

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642857089, 9783642857065

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Pattern Matching and Regular Expressions

Automata and Computability ◽

10.1007/978-3-642-85706-5_8 ◽

1977 ◽

pp. 44-48

Author(s):

Dexter C. Kozen

Keyword(s):

Pattern Matching ◽

Regular Expressions

Download Full-text

Turing Machines and Effective Computability

Automata and Computability ◽

10.1007/978-3-642-85706-5_65 ◽

1977 ◽

pp. 340-350

Author(s):

Dexter C. Kozen

Keyword(s):

Turing Machines ◽

Effective Computability

Download Full-text

Homework 12

Automata and Computability ◽

10.1007/978-3-642-85706-5_62 ◽

1977 ◽

pp. 313-313

Author(s):

Dexter C. Kozen

Download Full-text

Homework 11

Automata and Computability ◽

10.1007/978-3-642-85706-5_61 ◽

1977 ◽

pp. 312-312

Author(s):

Dexter C. Kozen

Download Full-text

Homework 7

Automata and Computability ◽

10.1007/978-3-642-85706-5_57 ◽

1977 ◽

pp. 308-308 ◽

Author(s):

Dexter C. Kozen

Download Full-text

Homework 4

Automata and Computability ◽

10.1007/978-3-642-85706-5_54 ◽

1977 ◽

pp. 304-305

Author(s):

Dexter C. Kozen

Download Full-text

Gödel’s Proof

Automata and Computability ◽

10.1007/978-3-642-85706-5_50 ◽

1977 ◽

pp. 292-298

Author(s):

Dexter C. Kozen

Download Full-text

Beyond Undecidability

Automata and Computability ◽

10.1007/978-3-642-85706-5_47 ◽

1977 ◽

pp. 274-281

Author(s):

Dexter C. Kozen

Download Full-text

Other Formalisms

Automata and Computability ◽

10.1007/978-3-642-85706-5_44 ◽

1977 ◽

pp. 256-261

Author(s):

Dexter C. Kozen

Download Full-text

More on Regular Sets

Automata and Computability ◽

10.1007/978-3-642-85706-5_4 ◽

1977 ◽

pp. 19-24

Author(s):

Dexter C. Kozen

Keyword(s):

Download Full-text