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 |