Statistics
Total Visits
| Views | |
|---|---|
| Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability | 95 |
Total Visits per Month
| November 2021 | December 2021 | January 2022 | February 2022 | March 2022 | April 2022 | May 2022 | |
|---|---|---|---|---|---|---|---|
| Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability | 5 | 2 | 1 | 2 | 2 | 7 | 1 |
File Downloads
| Views | |
|---|---|
| 2019_tese_tarocha.pdf | 61 |
| 1 |
Top Country Views
| Views | |
|---|---|
| United States | 35 |
| Brazil | 23 |
| Ukraine | 8 |
| Germany | 6 |
| Russia | 5 |
| Vietnam | 2 |
| Bulgaria | 1 |
| Canada | 1 |
| United Kingdom | 1 |
| India | 1 |
Top City Views
| Views | |
|---|---|
| Oakland | 19 |
| Andover | 6 |
| Fortaleza | 4 |
| Jacksonville | 4 |
| Hanoi | 2 |
| Ann Arbor | 1 |
| Belo Horizonte | 1 |
| Berlin | 1 |
| Brooklyn | 1 |
| Caucaia | 1 |