Steffen Smolka et al.: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. (2019)
journals/corr/abs-1907-05920
1907.05920
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.
6
CoRR
CoRR
abs/1907.05920
2019
provenance information for RDF data of dblp record 'journals/corr/abs-1907-05920'
2021-01-23T01:14:33+0100