Professor Philip D Welch

B.Sc.(Lond.), M.Sc., D.Phil.(Oxon.)

  • BS8 1UG

If you made any changes in Pure these will be visible here soon.
Filter
Conference Contribution (Conference Proceeding)

Search results

  • 2019

    Higher Type Recursion for Transfinite Machine Theory

    Welch, P. D., 19 Jun 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Primiero, G., Martin, B., Paulusma, D. & Manea, F. (eds.). Springer Verlag, Vol. 11558. p. 72-83 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
    1 Citation (Scopus)
    26 Downloads (Pure)
  • 2018

    Taming Koepke's Zoo

    Welch, P. D., Ouazzani, S. & Carl, M., 1 Jul 2018, Proceedings of Computation in Europe 2018. Manea, F., Miller, R. & Nowotka, D. (eds.). Berlin: Springer Verlag, Vol. 10936. p. 126-135 10 p. (Springer Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

  • 2017

    Global reflection principles

    Welch, P., 12 May 2017, Logic, methodology and philosophy of science: proceedings of the fifteenth international congress. College Publications, 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
    144 Downloads (Pure)
  • 2007

    Turing Unbound: Transfinite Computation

    Welch, PD., 2007, CiE2007, Computation in Europe 2007, Siena. S. B. C., Loewe, B. & Sorbi, A. (eds.). Springer, Vol. 4497. p. 768 - 780 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    3 Citations (Scopus)
  • 2000

    Some remarks on the Maximality of Inner Models

    Welch, PD., 2000, Proceedings of the 1998 Association of Symbolic Logic Meeting. ASL, p. 516 - 540

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)