vix.ing · top · new · best · stats · spec

Kloibhofer, Johannes

  1. Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
    2024/05/03 by Afshari, Bahareh, Kloibhofer, Johannes · 3 citations
    #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
  2. A note on the incompleteness of Afshari & Leigh's system Clo
    2023/07/13 by Kloibhofer, Johannes · 1 citation
    #FOS: Mathematics #Logic (math.LO)