Logic and computational complexity : selected papers /

Bibliographic Details
Corporate Author: International Workshop LCC '94 Indianapolis, IN, USA
Other Authors: Leivant, Daniel (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1995.
Series:Lecture notes in computer science ; v. 960
LNCS ; v. 960
Subjects: