Mathematical Foundations of Computation

Research output

Research output per year 1979 2003 2008 2010 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 140 Chapter in a published conference proceeding
• 129 Article
• 60 Chapter or section
• 35 Paper
• 30 More
  • 7 Conference article
  • 6 Editorial
  • 3 Book
  • 2 Other report
  • 2 Poster
  • 2 Other contribution
  • 2 Doctoral Thesis
  • 2 Working paper
  • 1 Foreword/postscript
  • 1 Other chapter contribution
  • 1 Comment/debate
  • 1 Discussion paper

Research output per year

Research output per year

Search results

• 2018

  Quantifier Elimination for Reasoning in Economics

  Mulligan, C. B., Bradford, R., Davenport, J., England, M. & Tonks, Z., 26 Apr 2018

  Research output: Other contribution

  Open Access

  • Quantifier Elimination 100%
  • Economic Education 100%
  • Automated Reasoning 16%
  • Economics Literature 16%
• 2016

  On Analyticity in Deep Inference

  Bruscoli, P. & Alessio Guglielmi, 2016, (Unpublished)

  Research output: Other contribution