| No. | Title | Author | Year |
|---|---|---|---|
| 1 | On Polynomial Recursive Sequences | Cadilhac, Michaël et al. | 2020 |
| 2 | The Isomorphism Problem for Finite Extensions of Free Groups Is In PSPACE | Sénizergues, Géraud et al. | 2018 |
| 3 | Termination of linear bounded term rewriting systems | Durand, Irène et al. | 2010 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 3 |