Logic and computational complexity selected papers - International Workshop LCC'94,(1994 : Indianapolis, USA); International Workshop LCC'94 (Logic and Computational Complexity Indianapolis, USA 1994 (Berlin Springer-Verlag, 1995)
Keywords: Computer mathematics; Mathematical logic