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

Saved in:
Bibliographic Details
Other Authors: Leivant, Daniel Maurice Raphaël
Format: Book
Language:English
Published: Berlin ; New York : Springer, c1995.
Series:Lecture notes in computer science ; 960.
Subjects:
Description
Physical Description:viii, 514 p. : ill. ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540601783