Logic and computational complexity international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers - Leivant, Daniel Maurice Raphael (Berlin Springer, 1995)
Keywords: Logic, Symbolic and mathematical -- Congresses; Computational complexity -- Congresses