A STRUCTURAL THEOREM FOR LOCAL ALGORITHMS WITH APPLICATIONS TO CODING, TESTING, AND VERIFICATION
- Marcel Dall'Agnol
- , Tom Gur
- , Oded Lachish
Research output: Contribution to journal › Article › peer-review
4
Link opens in a new tab
Scopus
citations