Dominik Wehr
- From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
2023/01/18 by Graham E. Leigh, Leigh, Graham E., Dominik Wehr +1 · 1 citation
Computer Science · #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems