Ana Bove
Papers
| authors | title | volume | pages | |
|---|---|---|---|---|
| Ekaterina Komendantskaya, Ana Bove and Milad Niqui (editors) | PAR-10. Partiality and Recursion in Interactive Theorem Provers | EPiC Series, Volume 5 |
Keywords
| # | keywords |
|---|
| authors | title | volume | pages | |
|---|---|---|---|---|
| Ekaterina Komendantskaya, Ana Bove and Milad Niqui (editors) | PAR-10. Partiality and Recursion in Interactive Theorem Provers | EPiC Series, Volume 5 |
| # | keywords |
|---|