Logic@GU
  • People
  • Seminars(current)
  • Master in Logic
  • Lindström Lectures
  • Other
    Nordic Online Logic Seminar
    Activities
    Resources

Cyclic proofs for the first-order μ-calculus

Sebastian Enqvist, Stockholm University

Friday, 11 February 2022 at 10:15   ·   Research Seminar   22 VT
© Copyright 2024 The Logic Group at GU. Powered by Jekyll with al-folio. Hosted by GitHub Pages.