| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Adding Transitivity and Counting to the Fluted Fragment | Pratt-Hartmann, Ian et al. | 2023 |
| 2 | On the Fluted Fragment (Invited Talk) | Tendera, Lidia | 2021 |
| 3 | The Fluted Fragment with Transitivity | Pratt-Hartmann, Ian et al. | 2019 |
| 4 | Quine's Fluted Fragment is Non-Elementary | Pratt-Hartmann, Ian et al. | 2016 |
| 5 | FO^2 with one transitive relation is decidable | Szwast, Wieslaw et al. | 2013 |
| 6 | Means and Limits of Decision (Invited Talk) | Tendera, Lidia | 2013 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |