Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
author
Wannenburg, J.J.
Sedlár, I.
date published
2024-04-03T08:56:03
headline
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
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
