Statistics
Total Visits
| Views | |
|---|---|
| Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability | 83 |
Total Visits per Month
| July 2021 | August 2021 | September 2021 | October 2021 | November 2021 | December 2021 | January 2022 | |
|---|---|---|---|---|---|---|---|
| Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability | 22 | 2 | 1 | 7 | 5 | 2 | 1 |
File Downloads
| Views | |
|---|---|
| 2019_tese_tarocha.pdf | 52 |
| 1 |
Top Country Views
| Views | |
|---|---|
| United States | 27 |
| Brazil | 21 |
| Ukraine | 8 |
| Germany | 5 |
| Russia | 5 |
| Vietnam | 2 |
| Bulgaria | 1 |
| Canada | 1 |
| United Kingdom | 1 |
| India | 1 |
Top City Views
| Views | |
|---|---|
| Oakland | 19 |
| Fortaleza | 4 |
| Jacksonville | 4 |
| Hanoi | 2 |
| Ann Arbor | 1 |
| Belo Horizonte | 1 |
| Brooklyn | 1 |
| Caucaia | 1 |
| Costa Mesa | 1 |
| Den Haag | 1 |