Formal System Analysis

Research output

Content available in repository 1983 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2024

• 617 Conference contribution
• 299 Article
• 269 Report
• 55 Chapter
• 161 More
  • 48 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 35 Book editing
  • 16 Editorial
  • 13 Foreword/editorial
  • 10 Book
  • 10 Preprint
  • 7 Conference article
  • 5 EngD Thesis
  • 3 Poster
  • 2 Inaugural/farewell speech
  • 2 Other
  • 2 Book review
  • 2 Software
  • 2 Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
  • 1 Patent publication
  • 1 Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)
  • 1 Phd Thesis 3 (Research TU/e / Graduation NOT TU/e)
  • 1 Working paper

Content available in repository

Content available in repository

Search results

• 1993

  Logics and type systems

  Geuvers, J. H., 1993, Nijmegen: Radboud Universiteit Nijmegen. 209 p.

  Research output: Thesis › Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
• 1983

  Integer valued polynomials in algebraic number theory

  Zantema, H., 1983, Amsterdam: Universiteit van Amsterdam. 119 p.

  Research output: Thesis › Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)