Concepedia

Stål Aanderaa

SA

6

Publications

418

Citations

6

H-Index

1963

Active since

Affiliations

University of Oslo(Current)

Harvard University Press

Stål Aanderaa is an author at University of Oslo specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningDiscrete MathematicsComputational ComplexityMathematical FoundationsLanguageSemanticsManagement

Publications per year

1963–1974

6

Publications

6

On the minimum computation time of functions

Stephen Cook, Stål Aanderaa · Transactions of the American Mathematical Society · 1969 · 282 citations · Full text

On the Minimum Computation Time of Functions

Stephen Cook, Stål Aanderaa · Transactions of the American Mathematical Society · 1969 · 55 citations

Computational Complexity Theory, Engineering, Computational Number Theory +11

False lemmas in Herbrand

Burton Dreben, Peter B. Andrews, Stål Aanderaa · Bulletin of the American Mathematical Society · 1963 · 29 citations · Full text

Engineering, Quantificational Schema 5, Higher-order Logic +17

Linear sampling and the ∀∃∀ case of the decision problem

Stål Aanderaa, Harry R. Lewis · Journal of Symbolic Logic · 1974 · 24 citations

Atomic Subformula, Engineering, Classical Logic +22

The Solvability of the Halting Problem for 2-State Post Machines

Stål Aanderaa, Patrick C. Fischer · Journal of the ACM · 1967 · 17 citations · Full text

Engineering, Reachability Problem, Verification +17

Rows per page

1–5 of 6