221 followers
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests https://t.co/KLb9ZWXPT5
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests https://t.co/KLb9ZWXPT5
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests https://t.co/KLb9ZWFGEX
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests https://t.co/KLb9ZWFGEX