Mathematically Structured Programming

Research output

Research output per year 2008 2009 2012 2013 2014 2015 2017 2018 2020 2021 2022 2023

• 83 Conference contribution book
• 56 Article
• 8 Chapter
• 8 Paper
• 19 More
  • 4 Conference Contribution
  • 3 Special issue
  • 2 Anthology
  • 2 Working paper
  • 1 Book
  • 1 Other chapter contribution
  • 1 Chapter (peer-reviewed)
  • 1 Conference article
  • 1 Review article
  • 1 Doctoral Thesis
  • 1 Master's Thesis
  • 1 Working Paper/Preprint

Research output per year

Research output per year

Search results

• 2009

  Constructive aspects of models for non-standard analysis

  Nordvall Forsberg, F., 2009, 56 p.

  Research output: Thesis › Master's Thesis

  • Nonstandard Analysis 100%
  • Filter 45%
  • Ultraproduct 35%
  • Ultrafilter 30%
  • Model 25%