Johannes Kloibhofer

From MaRDI portal
Person:6443670

Available identifiers

zbMath Open kloibhofer.johannesMaRDI QIDQ6443670

List of research outcomes





PublicationDate of PublicationType
A fixed-point theorem for Horn formula equations2024-12-03Paper
Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata2024-05-17Paper
A note on the incompleteness of Afshari & Leigh's system Clo2023-07-13Paper
Cut elimination for Cyclic Proofs: A Case Study in Temporal LogicN/APaper

Research outcomes over time

This page was built for person: Johannes Kloibhofer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6443670&oldid=37802053"
Powered by MediaWiki