The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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
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