research
∙
09/21/2022
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
Kozen and Tiuryn have introduced the substructural logic 𝖲 for reasoning...
share
research
∙
05/06/2022
