Logic and computational complexity international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

Logic and computational complexity international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

Bibliographic Details
Other Authors: Leivant, Daniel Maurice Raphael
Format: Book
Language:English
Published: Berlin Springer c1995.
Series:Lecture notes in computer science 960
Subjects:
Logic, Symbolic and mathematical > Congresses.
Computational complexity > Congresses.