×

zbMATH — the first resource for mathematics

Bounded concatenation theory as a uniform method for proving lower complexity bounds. (English) Zbl 0439.03004
Logic colloquium 76, Proc. Conf., Oxford 1976, Stud. Logic Found. Math., Vol. 87, 471-490 (1977).

MSC:
03B25 Decidability of theories and sets of sentences
03D15 Complexity of computation (including implicit computational complexity)