The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Dirk van Dalen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dirk van Dalen
    L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:228-241 [Conf]
  2. Mark van Atten, Dirk van Dalen
    Arguments for the continuity principle. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:329-347 [Journal]
  3. Dirk van Dalen
    Brouwer and Fraenkel on intuitionism. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2000, v:3, n:3, pp:284-310 [Journal]
  4. Dirk van Dalen
    Herman Weyl's intuitionistic mathematics. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1995, v:1, n:2, pp:145-169 [Journal]
  5. Dirk van Dalen, Heinz-Dieter Ebbinghaus
    Zermelo and the Skolem paradox. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2000, v:6, n:2, pp:145-161 [Journal]
  6. Dirk van Dalen
    Intuitionism - Counting its Blessings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  7. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, Annalisa Marcja, Dirk van Dalen
    Meeting of the Association for Symbolic Logic: Florence, Italy 1982. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:2, pp:683-710 [Journal]
  8. Dirk van Dalen
    Reducibilities in Intuitionistic Topology. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:3, pp:412-417 [Journal]
  9. Dirk van Dalen
    The Use of Kripke's Schema as a Reduction Principle. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:238-240 [Journal]
  10. Dirk van Dalen
    How to Glue Analysis Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:4, pp:1339-1349 [Journal]
  11. Dirk van Dalen
    The Continuum and First-Order Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1417-1424 [Journal]
  12. Dirk van Dalen
    How Connected Is the Intuitionistic Continuum? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1147-1150 [Journal]
  13. Dirk van Dalen
    How the Mathematical Objects Determine the Mathematical Principles. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:12, pp:2132-2141 [Journal]
  14. Dirk van Dalen
    A Note on Some Systems of Lindenmayer. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1971, v:5, n:2, pp:128-140 [Journal]
  15. Dirk van Dalen
    From Brouwerian Counter Examples to the Creating Subject. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:62, n:2, pp:305-314 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002