

An edition of Logic and computational complexity (1995)
international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
By Daniel Leivant,Gerhard Goos,Juris Hartmanis
Publish Date
1995
Publisher
Springer
Language
eng
Pages
514
Description:
subjects: Symbolic and mathematical Logic, Computational complexity, Congresses, Beweistheorie, Komplexitätstheorie, Logique symbolique et mathématique, Congrès, Logica, Complexiteit, Komplexität, Logik, Berechnungstheorie, Datenverarbeitung, Mathematische Logik, Complexité de calcul (Informatique), Berechnungskomplexität, Logic, symbolic and mathematical