Statistics
RiuNet: Institutional repository of the Polithecnic University of Valencia
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search RiuNet
Browse
My Account
Statistics
RiuNet Help
Admin. UPV
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 |
Universitat Politècnica de València. Unit of cientific documentation (+34) 96 387 70 85 · RiuNet@bib.upv.es
Content on this site is licensed under a Creative Commons Attribution-Non Commercial-No Derivs (by-nc-nd) License, except where otherwise noted.
xmlui.dri2xhtml.structural.creativecommons.metadata
