Fingerprint
Dive into the research topics of 'Equivalence checking for weak bi-kleene algebra'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Equivalence checking for weak bi-kleene algebra
Tobias Kappé (Corresponding author), Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Research output: Contribution to journal › Article › Academic › peer-review
45
Downloads
(Pure)