Dirk Roorda – Onderzoeksoutput — Koninklijke Nederlandse Akademie van Wetenschappen (KNAW)

Bekijk Scopus-profiel

E-maildirk.roordadi.huc.knawnl

Onderzoeksoutput per jaar

11 Artikel
8 Software
3 Hoofdstuk
3 Bijdrage aan conferentie proceedings
Meer
- 3 Website
- 1 PhD thesis (Proefschrift)

1 resultaten

Filter

1991
Resource Logics: Proof-Theoretical Investigations
Roorda, D., 1991, Amsterdam. 138 blz.
Onderzoeksoutput: PhD Thesis (Proefschrift) › PhD thesis (Proefschrift)

Open Access
Bestand
132 Downloads (Pure)