Dirk Roorda

Research output

Research output per year 1990 2010 2012 2014 2016 2017 2018 2019 2020 2021

• 11 Article
• 8 Software
• 3 Chapter
• 3 Contribution to conference proceedings
• 4 More
  • 3 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 100%
  127 Downloads (Pure)