Created in December 06, 2022
2022
🗨️ I presented the paper Local Completeness Logic on Kleene Algebra with Tests at SAS 2022.