Estadísticas
RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia
JavaScript is disabled for your browser. Some features of this site may not work without it.
Buscar en RiuNet
Listar
Mi cuenta
Estadísticas
Ayuda RiuNet
Admin. UPV
Estadísticas
Número total de visitas
| Visualizaciones | |
|---|---|
| Dependency pairs for proving termination properties of conditional term rewriting systems | 77 |
Visitas al mes
| octubre 2023 | noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | |
|---|---|---|---|---|---|---|---|
| Dependency pairs for proving termination properties of conditional term rewriting systems | 1 | 1 | 4 | 3 | 0 | 0 | 1 |
Visitas al fichero
| Visualizaciones | |
|---|---|
| Lucas;Meseguer - Dependency pairs for proving termination properties of conditional term rewritin....pdf | 79 |
Países con más visualizaciones
| Visualizaciones | |
|---|---|
| Estados Unidos | 42 |
| Francia | 7 |
| Canadá | 6 |
| China | 5 |
| Irlanda | 5 |
| Alemania | 4 |
| España | 4 |
| Finlandia | 1 |
| Reino Unido | 1 |
| India | 1 |
Ciudades con más visualizaciones
| Visualizaciones | |
|---|---|
| Louisville | 9 |
| Grenoble | 6 |
| Mountain View | 6 |
| Alameda | 5 |
| Des Moines | 5 |
| Dublin | 5 |
| Guangzhou | 4 |
| Montréal | 4 |
| Ashburn | 2 |
| Ontígola | 2 |
Universitat Politècnica de València. Unidad de Documentación Científica de la Biblioteca (+34) 96 387 70 85 · RiuNet@bib.upv.es
El contenido de este sitio está bajo una licencia Creative Commons Reconocimiento – No Comercial – Sin Obra Derivada (by-nc-nd), salvo que se indique lo contrario.
Los metadatos de este sitio están bajo una licencia Dominio Público.
