Stål Aanderaa

Affiliations:
  • University of Oslo, Norway


According to our database1, Stål Aanderaa authored at least 12 papers between 1967 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Search for good examples of Hall's conjecture.
Math. Comput., 2018

1992
Recursive Inseparability in Linear Logic.
Proceedings of the Computer Science Logic, 6th Workshop, 1992

A Universal Turing Machine.
Proceedings of the Computer Science Logic, 6th Workshop, 1992

1983
On the solvability of the extended (exist-forall)and(exists-forall*)-Ackermann class with identity.
Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

1982
Conservative Reduction Classes of Krom Formulas.
J. Symb. Log., 1982

1981
The Equivalence of Horn and Network Complexity for Boolean Functions.
Acta Informatica, 1981

1980
Prefix classes of krom formulae with identity.
Arch. Math. Log., 1980

1974
Linear Sampling and the forall exists forall Case of the Decision Problem.
J. Symb. Log., 1974

The Finite Controllability of the Maslov Case.
J. Symb. Log., 1974

1973
Prefix Classes of Krom Formulas.
J. Symb. Log., 1973

1971
Decision Problems for Tag Systems.
J. Symb. Log., 1971

1967
The Solvability of the Halting Problem for 2-State Post Machines.
J. ACM, 1967


  Loading...