Logic and computational complexity: international workshop, lcc '94, indianapolis, in, usa, october 13-16, 1994, selected papers
Auteur :
Leivant, Daniel
ISBN :
9783540601784
Date de publication :
2 août 1995
Dimensions :
23,4 x 15,6 x 2,7 cm
Poids :
1620 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The synergy between logic and computational complexity has gained importance in recent years, cutting across many areas. This book documents the state of the art in this interdisciplinary field, presenting it in such sections as foundational issues, and applicative and proof-theoretic complexity.