Logic and computational complexity. International workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers

DOI10.1007/3-540-60178-3zbMath0847.00025OpenAlexW2487994344MaRDI QIDQ1896999

No author found.

Publication date: 13 September 1995

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60178-3

zbMATH Keywords

ProceedingsWorkshopLogicComputational complexityLCCIndianapolis, IN (USA)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items

1998 European Summer Meeting of the Association for Symbolic Logic, A new “feasible” arithmetic, A simple proof of Parsons' theorem