No. | Title | Author | Year |
---|---|---|---|
1 | The Zoo of Lambda-Calculus Reduction Strategies, And Coq | Biernacka, MaĆgorzata et al. | 2022 |
2 | Deriving an Abstract Machine for Strong Call by Need | Biernacka, Malgorzata et al. | 2019 |
3 | Modulo Counting on Words and Trees | Bednarczyk, Bartosz et al. | 2018 |
4 | Extending Two-Variable Logic on Trees | Bednarczyk, Bartosz et al. | 2017 |
5 | Generalized Refocusing: From Hybrid Strategies to Abstract Machines | Biernacka, Malgorzata et al. | 2017 |
6 | Two-variable Logic with Counting and a Linear Order | Charatonik, Witold et al. | 2015 |
Current Page : | |
Number of result pages: | 1 |
Number of documents: | 6 |