Logical Methods, In Honour of Anil Nerode's Sixtieth Birthday.
Contributors: Crossley, John N., etc. (Ed.)
Series: Progress in Computer Science & Applied Logic S.,v.12
Publisher: Birkhauser,Switzerland
Published: 1993
Language: und
Number of pages: 818