Logic and computational complexity. International workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
From MaRDI portal
Publication:1896999
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
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
