1. 1990
  2. Elementary inductive definitions in HA: from strictly positive towards monotone

    Roorda, D., 1990, In : Indagationes Mathematicae. 11, p. 105 9 p.

    Research output: Contribution to journal/periodicalArticleScientificpeer-review

  3. 1991
  4. Resource Logics: Proof-Theoretical Investigations

    Roorda, D., 1991, Amsterdam. 138 p.

    Research output: PhD ThesisPhD thesisScientific

  5. NBOI-classificatie van de Gemeenschappelijke Databank voor Lopend Onderzoek in Nederland. Ontworpen door het Nederlands Bureau voor Onderzoek Informatie (NBOI).

    Beunk, B., 18 Dec 1991, Amsterdam, p. 1-15, 15 p.

    Research output: Working paper/discussion paperWorking paper/Discussion paperProfessional

  6. 1992
  7. Proof Nets for Lambek Calculus

    Roorda, D., 1992, In : Journal of Logic and Computation. 2, 2, p. 211-231

    Research output: Contribution to journal/periodicalArticleScientificpeer-review

  8. Classification of the Netherlands Agency for Research Information

    Beunk, B., 28 Sep 1992, Amsterdam, p. 1-14, 14 p.

    Research output: Working paper/discussion paperWorking paper/Discussion paperProfessional

  9. 1993
  10. Dyadic Modalities and Lambek Calculus

    Roorda, D., 1993, Diamonds and Defaults: Studies in Pure and Applied Intensional Logic. de Rijke, M. (ed.). Synthese Library ed. Dordrecht: Springer, Vol. 229. p. 215 253 p.

    Research output: Chapter in book/volumeChapterScientificpeer-review

  11. 1994
  12. Dutch Political Life under English Rule: Albany, N.Y., During Leisler's Rebellion, 1689-1690

    Waterman, MA, K-J., 1994, Proceedings of the 19th Annual Conference of the Middle Atlantic Historical Association of Catholic Colleges and Universities (MAHACCU). Kratz, C. E. & Craft, M. E. (eds.). Scanton, PA: University of Scranton Press, p. 112-120

    Research output: Chapter in book/volumeContribution to conference proceedingsScientific

  13. Interpolation in Fragments of Classical Linear Logic

    Roorda, D., 1994, In : Journal of Symbolic Logic. 59, 2, p. 419 25 p.

    Research output: Contribution to journal/periodicalArticleScientificpeer-review

  14. Leisler's Rebellion, 1698-1690: Being Dutch in Albany

    Waterman, MA, K-J., 1994, In : The Maryland Historian. 22, 2, p. 21-40

    Research output: Contribution to journal/periodicalArticleScientificpeer-review

  15. Review of: Wim S.M. Hoogbergen, The Boni Maroon Wars in Suriname (Leiden, 1990)

    Waterman, MA, K-J., 1994, In : The Americas: A Quarterly Review of Inter-American Cultural History. 50, 3, p. 451-452

    Research output: Contribution to journal/periodicalBook/Film/Article reviewScientific

  16. 2000
  17. NOD-classificatie: NOD-classification

    Beunk, B., 2000, p. 1-11, 11 p.

    Research output: Working paper/discussion paperWorking paper/Discussion paperProfessional

  18. 2001
  19. The striking Netherlands: Time series analysis and models of socio-economic development and labour disputes, 1850-1995

    van der Velden, S. & Doorn, P. K., 2001, In : Historical Social Research. 26, 1, p. 222-243 22 p.

    Research output: Contribution to journal/periodicalArticleScientific

  20. 2005
  21. NOD-classificatie 2005: NOD-classification 2005

    Beunk, B., 23 May 2005, Koninklijke Nederlandse Akademie van Wetenschappen, p. 1-9, 9 p.

    Research output: Working paper/discussion paperWorking paper/Discussion paperProfessional

  22. 2006
  23. De DANS on het SSB: Reactie op: “Hoe toegankelijk is het Sociaal Statistisch Bestand (SSB)”?.

    Doorn, P. K., 2006, Sociale Samenhang in Beeld, het SSB nu en straks. F. Linder F. Bastiaans, L. E. (ed.). Voorburg: Centraal Bureau voor de Statistiek

    Research output: Chapter in book/volumeContribution to conference proceedingsScientific

  24. Review of: Paul Otto, The Dutch-Munsee Encounter in America; The Struggle for Sovereignty in the Hudson Valley (New York, 2006)

    Waterman, MA, K-J., 2006, In : De Halve Maen: magazine of the Dutch colonial period in America. 79, 3, p. 55-56

    Research output: Contribution to journal/periodicalBook/Film/Article reviewProfessional

  25. 2007
  26. Data Curation

    van Horik, M. P. M., 2007, A DRIVER’s Guide to European Repositories. Weenink, K. & Waaijers, L. (eds.). Amsterdam: Amsterdam University Press, 216 p.

    Research output: Chapter in book/volumeChapterScientific

  27. Een digitale detective story: de reconstructie van de Nederlandse Volkstelling van 1960

    Doorn, P. K. & van den Berk, M., 2007, Twee eeuwen Nederland geteld. Den Haag: Data Archiving and Networked Services (DANS), Vol. 2. p. 471-487 525 p. (DANS Symposium publicaties).

    Research output: Chapter in book/volumeChapterScientificpeer-review

  28. Inleiding:Twee eeuwen volkstellingen gedigitaliseerd

    Doorn, P. K. & van Maarseveen, J. G. S. J., 2007, Twee eeuwen Nederland geteld. Den Haag: Data Archiving and Networked Services (DANS), Vol. 2. p. 3-17 525 p. (DANS Symposium publicaties).

    Research output: Chapter in book/volumeChapterScientificpeer-review

  29. Introduction: archiving research data

    Tjalsma, H. D. & Doorn, P. K., 2007, In : Archival Science. 7, 1, p. 1-20 20 p.

    Research output: Contribution to journal/periodicalArticleProfessional

  30. Kosten digitaal archief in K.J.P.F.M. Jeurgens, A.C.V.M. Bongenaar en M.C. Windhorst (eds.) Gewaardeerd verleden. Bouwstenen voor een nieuwe waarderingsmethodiek voor archieven

    Tjalsma, H. D., 2007, Den Haag: Rapport van de Commissie Waardering en Selectie. 6 p.

    Research output: Book/ReportReportProfessional

Previous 1 2 3 4 5 6 7 8 ...21 Next

ID: 8586