kozen1997

Dexter Kozen. Automata and computability. Springer Verlag, 1997.

Keyword

[ Regexp ]

Contact

D. Kozen

BibTex Reference

@Book{kozen1997,
   Author = {Kozen, Dexter},
   Title = {Automata and computability},
   BookTitle = {Automata and computability},
   Publisher = {Springer Verlag},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)