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