Dirk Roorda

Research output

Research output per year 1990 2020

• 11 Article
• 8 Software
• 3 Chapter
• 3 Contribution to conference proceedings
• 3 More
  • 2 Website
  • 1 PhD thesis

Research output per year

Research output per year

Search results

• 1991

  Resource Logics: Proof-Theoretical Investigations

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

  Research output: PhD Thesis › PhD thesis

  Open Access

  File

  • resources
  49 Downloads (Pure)