International symposium on logical foundations of computer science : <3. : ; 1994
Titolo
Logical foundations of computer science : third international symposium, LFCS '94 : St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.)
Pubbl/distr/stampa
Berlin [etc.], : Springer, c1994
Titolo uniforme
logical foundations of computer science
ISBN
0387581405
3540581405
Descrizione fisica
IX, 392 p. ; 24 cm
Collana
Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 813