Concepedia

On proving time constructibility of functions

Kojiro Kobayashi

Theoretical Computer Science · 1985 · 16 citations · 3 references

DOI

Concepts

References

3

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

, , +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

, , +10

Circuit-size lower bounds and non-reducibility to sparse sets

Ramachandran Kannan · Information and Control · 1982 · 160 citations · Full text

, , +9