Author(s): D. Kozen
Publication date Created: May 1994
Publication date (Print): May 1994
Journal: Information and Computation
Publisher: Elsevier BV
Powered by
http://www.elsevier.com/tdm/userlicense/1.0/