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 Bertrand Russell’s birthday
  • Today is Kurt Gödel’s birthday
  • Today is Ludwig Wittgenstein’s birthday

RSS Recent publications

  • THE JOURNAL OF SYMBOLIC LOGIC
    S Awodey, S Anscombe, V Becher, L Beklemishev, M Benedikt, ...(Feed generated with FetchRSS)
  • Concurrent Gaussian elimination
    U Berger, M Seisenberger, D Spreen, H TsuikiMathematics for Computation (M4C), 223-250, 2023(Feed generated with FetchRSS)
  • From Asymptomatics to Zombies: Visualization-Based Education of Disease Modeling for Children
    G McNeill, M Sondag, S Powell, P Asplin, C Turkay, F Moller, ...ACM, 2023(Feed generated with FetchRSS)
  • From Monitors to Monitors: A Primitive History
    TK AstarteMinds and Machines, 1-21, 2023(Feed generated with FetchRSS)
  • Eager Equality for Rational Number Arithmetic
    JA Bergstra, JV TuckerACM Transactions on Computational Logic, 2023(Feed generated with FetchRSS)

Meta

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

Archives

Categories

Proudly powered by WordPress
Translate »