Stål Aanderaa
#149,939
Most Influential Person Now
Mathematician
Stål Aanderaa's AcademicInfluence.com Rankings
Stål Aanderaamathematics Degrees
Mathematics
#7481
World Rank
#10167
Historical Rank
Group Theory
#535
World Rank
#626
Historical Rank
Algebra
#778
World Rank
#1010
Historical Rank
Measure Theory
#5249
World Rank
#6209
Historical Rank
Download Badge
Mathematics
Why Is Stål Aanderaa Influential?
(Suggest an Edit or Addition)According to Wikipedia, Stål Aanderaa is a Norwegian mathematician. Biography Aanderaa was born in Beitstad. He completed the mag.scient. degree in 1959 and his doctorate at Harvard University in 1966. He was a professor at the University of Oslo from 1978 to his retirement in 2001.
Stål Aanderaa's Published Works
Published Works
- ON THE MINIMUM COMPUTATION TIME OF FUNCTIONS (1969) (320)
- False lemmas in Herbrand (1963) (36)
- A Proof of Higman's Embedding Theorem Using Britton Extensions of Groups (1973) (33)
- On the Decision Problem for Formulas in which all Disjunctions are Binary (1971) (31)
- Linear sampling and the ∀∃∀ case of the decision problem (1974) (26)
- A Universal Turing Machine (1992) (25)
- The Solvability of the Halting Problem for 2-State Post Machines (1967) (17)
- Modular Machines, The Word Problem for Finitely Presented Groups and Collins' Theorem (1980) (17)
- Inductive Definitions and Their Closure Ordinals (1974) (17)
- Modular Machines and The Higman-Clapham-Valiev Embedding Theorem (1980) (17)
- Prefix classes of Krom formulas (1973) (10)
- Decision problems for tag systems (1971) (8)
- The equivalence of Horn and network complexity for Boolean functions (1981) (6)
- Herbrand analyzing functions (1964) (5)
- The finite controllability of the Maslov case (1974) (4)
- Conservative reduction classes of Krom formulas (1982) (3)
- Prefix classes of krom formulae with identity (1980) (3)
- On the solvability of the extended ∀∃ ∧ ∃∀⋆ — Ackermann class with identity (1983) (1)
- Modular Lattices and the Lebesque-Radon-Nikodym Theorem (1967) (0)
- Recursive Inseparability in Linear Logic (1992) (0)
- Search for good examples of Hall's conjecture (2014) (0)
- On the solvability of the extended (exist-forall)and(exists-forall*)-Ackermann class with identity (1983) (0)
This paper list is powered by the following services:
Other Resources About Stål Aanderaa
What Schools Are Affiliated With Stål Aanderaa?
Stål Aanderaa is affiliated with the following schools: