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

• 2019

  Foreword

  Davenport, J., Wang, D., Kauers, M. & Bradford, R., 8 Jul 2019, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. New York, U. S. A.: Association for Computing Machinery, p. III-IV 2 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

  Research output: Chapter or section in a book/report/conference proceeding › Foreword/postscript