- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates 333

Total Visits Per Month

June 2019 July 2019 August 2019 September 2019 October 2019 November 2019 December 2019
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates 0 0 280 29 9 7 8

File Visits

Views
Gutiérrez;Meseguer - Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.pdf 140
lopstr17.pdf 1

Top country views

Views
China 151
United States 50
Netherlands 44
Ireland 31
Spain 25
Germany 15
France 4
Finland 3
South Korea 3
Russia 2

Top cities views

Views
Amsterdam 44
Dublin 30
Guangzhou 30
Shenzhen 29
Jinan 21
Ashburn 19
Hangzhou 11
Nanjing 10
Putian 10
Shanghai 7