Logical and Computational Complexity (LCC)
LCC 1994: Indianapolis, Indiana, USA
Daniel Leivant (Ed.): Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994. Springer 1995 Lecture Notes in Computer Science 960 ISBN 3-540-60178-3 [ contents ]



