Browsing by Author Kobayashi, Naoki
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | Fold/Unfold Transformations for Fixpoint Logic | Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti |
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | Fold/Unfold Transformations for Fixpoint Logic | Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti |