Theory

Swansea, Department of Computer Science

Skip to content
  • Home
  • About
  • People
  • Projects
    • Current projects
      • CID
      • CHERISH-DE
      • Railway Verification Group
    • Past projects
      • COMPUTAL
      • CORCON
      • DETIPS
      • PLANCOMPS
  • Calendar
  • Events
    • Conferences and workshops
      • CiE 2022
      • BCTCS 2022
      • BCTCS 2020
      • Workshop on Proof Theory and its Applications 2019
    • Theory Seminar Series (Calendar)
  • Publications
Theory

COMPUTAL

Computable Analysis

http://computal.uni-trier.de/

Recent Posts

  • Today is David Hilbert’s birthday
  • Job Vacancy
  • Happy World Logic Day!

RSS Recent publications

  • Partial arithmetical data types of rational numbers and their equational specification
    JA Bergstra, JV TuckerJournal of Logical and Algebraic Methods in Programming 128, 100797, 2022(Feed generated with FetchRSS)
  • On understanding the influence of controllable factors with a feature attribution algorithm: a medical case study
    VRR Kovvuri, S Liu, M Seisenberger, X Fan, B Müller, H Fu2022 International Conference on INnovations in Intelligent SysTems and …, 2022(Feed generated with FetchRSS)
  • People watching: Abstractions and orthodoxies of monitoring
    V Wang, JV TuckerTechnology in Society, 102178, 2022(Feed generated with FetchRSS)
  • The dynamics of belief: continuously monitoring and visualising complex systems
    EJ Beggs, JV TuckerarXiv preprint arXiv:2208.05764, 2022(Feed generated with FetchRSS)
  • On the computational content of choice principles
    U Berger, M SeisenbergerCambridge University Press, 2023(Feed generated with FetchRSS)

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org

Archives

Categories

Proudly powered by WordPress
Translate ยป