jamie wannenburg

Embedding Kozen-Tiuryn Logic into Residuated One-sorted Kleene Algebra with Tests

Given at Logica in 2022 at Teplá, Czech Republic

abstract https://www.jamiewannenburg.com/talks/2022Logica/WannenburgLogica2022-abstract.pdf
is part of talks

made by Jamie Wannenburg