Old Web
English
Sign In
Acemap
>
Paper
>
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
2020
Steffen Smolka
Nate Foster
Justin Hsu
Tobias Kappé
Dexter Kozen
Alexandra Silva
Keywords:
Algebra
Time complexity
Kleene algebra
Mathematics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
37
References
0
Citations
NaN
KQI
[]