The SCEAS System
Navigation Menu

Search the dblp DataBase


A. S. Troelstra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. A. S. Troelstra
    Comparing the Theory of Representations and Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
    CSL, 1991, pp:383-395 [Conf]
  2. A. S. Troelstra
    Tutorial on Linear Logic. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:30-31 [Conf]
  3. A. S. Troelstra
    Natural Deduction for Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:73, n:1, pp:79-108 [Journal]
  4. A. S. Troelstra
    Note on the Fan Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:3, pp:584-596 [Journal]
  5. A. S. Troelstra
    Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:194-202 [Journal]
  6. A. S. Troelstra
    Marginalia on Sequent Calculi. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:62, n:2, pp:291-303 [Journal]
  7. A. S. Troelstra
    On the Syntax of Martin-Löf's Type Theories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:51, n:, pp:1-26 [Journal]
  8. A. S. Troelstra
    From Constructivism to Computer Science. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:211, n:1-2, pp:233-252 [Journal]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002