Logic and computational complexity
Subtitle: international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
By: Daniel Leivant (ed.).
Contributors: Leivant, Daniel Maurice Raphaël.
Series: Lecture notes in computer science ;; 960
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 514
Subjects: Logic, Symbolic and mathematical -- Congresses; Computational complexity -- Congresses
Notes: Includes bibliographical references.