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