Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994

Daniel Leivant Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 LCC Lecture Notes in Computer Science 960 Springer 1995 3-540-60178-3 db/conf/lcc/lcc94.html