- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

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

Total Visits Per Month

April 2024 May 2024 June 2024 July 2024 August 2024 September 2024 October 2024
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates 105 131 87 85 16 24 0

File Visits

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

Top country views

Views
United States 279
Singapore 221
China 154
Netherlands 44
Ireland 34
Spain 31
Greece 28
Sweden 17
Germany 15
France 14

Top cities views

Views
Singapore 221
College Park 51
Amsterdam 44
Dublin 33
San Mateo 32
Guangzhou 30
New Kensington 29
Shenzhen 29
Athens 27
Ashburn 25