Logical foundations of computer science: proceedings: 3rd: international symposium, lfcs '94, st.petersburg, russia, july 11-14, 1994 - proceedings
Auteur :
Nerode, Anil
ISBN :
9783540581406
Date de publication :
8 juin 1994
Dimensions :
27,9 x 21,6 x 2,1 cm
Poids :
1270 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.