Concepedia
Statistics
Publications
1
Citations
31
H-Index
Active since
1988
Fernando Jorge Inocencio Ferreira is an author specializing in model theory, computing, and recursion theory.
Publications per year
1988–1988
Polynomial time computable arithmetic and conservative extensions
Stephen G. Simpson, Fernando Jorge Inocencio Ferreira · 1988 · 31 citations
Computing, Computer Science, Mathematics +14
1–1 of 1