Stål Aanderaa

Publication Activity (10 Years)

Years Active: 1967-2018
Publications (10 Years): 1

Top Topics

Semantic Search

Efficient Search

Top Venues

Publications

Stål Aanderaa, Lars Kristiansen, Hans Kristian Ruud
Search for good examples of Hall's conjecture. Math. Comput. 87 (314) (2018)
Stål Aanderaa
A Universal Turing Machine. CSL (1992)
Stål Aanderaa, Herman Ruge Jervell
Recursive Inseparability in Linear Logic. CSL (1992)
Stål Aanderaa
On the solvability of the extended (exist-forall)and(exists-forall*)-Ackermann class with identity. Logic and Machines (1983)
Stål Aanderaa, Egon Börger, Harry R. Lewis
Conservative Reduction Classes of Krom Formulas. J. Symb. Log. 47 (1) (1982)
Stål Aanderaa, Harry R. Lewis
Linear Sampling and the forall exists forall Case of the Decision Problem. J. Symb. Log. 39 (3) (1974)
Stål Aanderaa, Warren D. Goldfarb
The Finite Controllability of the Maslov Case. J. Symb. Log. 39 (3) (1974)
Stål Aanderaa, Harry R. Lewis
Prefix Classes of Krom Formulas. J. Symb. Log. 38 (4) (1973)
Stål Aanderaa, Dag Belsnes
Decision Problems for Tag Systems. J. Symb. Log. 36 (2) (1971)
Stål Aanderaa, Patrick C. Fischer
The Solvability of the Halting Problem for 2-State Post Machines. J. ACM 14 (4) (1967)