Logical foundations of computer science: 4th international symposium, lfcs '97, yaroslavl, russia, july, 6 - 12, 1997 - proceedings
Auteur :
Nerode, Anil
ISBN :
9783540630456
Date de publication :
28 mai 1997
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
624 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS '97. It presents 42 revised refereed papers in which current issues of computer science logic are addressed.