Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
author
Sedlár, I.
Wannenburg, J.J.
date published
2022-12-10T08:41:19
headline
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
is part of
papers
Items that reference this:
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests - preprint isBasedOn Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests