The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stål Aanderaa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stål Aanderaa
    A Universal Turing Machine. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:1-4 [Conf]
  2. Stål Aanderaa, Herman Ruge Jervell
    Recursive Inseparability in Linear Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:5-13 [Conf]
  3. Stål Aanderaa
    On the solvability of the extended (exist-forall)and(exists-forall*)-Ackermann class with identity. [Citation Graph (0, 0)][DBLP]
    Logic and Machines, 1983, pp:270-284 [Conf]
  4. Stål Aanderaa, Patrick C. Fischer
    The Solvability of the Halting Problem for 2-State Post Machines. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1967, v:14, n:4, pp:677-682 [Journal]
  5. Stål Aanderaa, Dag Belsnes
    Decision Problems for Tag Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1971, v:36, n:2, pp:229-239 [Journal]
  6. Stål Aanderaa, Egon Börger, Harry R. Lewis
    Conservative Reduction Classes of Krom Formulas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:110-130 [Journal]
  7. Stål Aanderaa, Warren D. Goldfarb
    The Finite Controllability of the Maslov Case. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:3, pp:509-518 [Journal]
  8. Stål Aanderaa, Harry R. Lewis
    Prefix Classes of Krom Formulas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:4, pp:628-642 [Journal]
  9. Stål Aanderaa, Harry R. Lewis
    Linear Sampling and the forall exists forall Case of the Decision Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:3, pp:519-548 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002