Estatísticas para Deciding Kleene Algebra Terms Equivalence in Coq
Total de visitas
| views | |
|---|---|
| Deciding Kleene Algebra Terms Equivalence in Coq | 35 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| ART_CISTER_2015.pdf | 153 |
| null | 1 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 22 |
| Portugal | 5 |
| China | 2 |
| Irão | 2 |
| Rússia | 2 |
| Austrália | 1 |
| Reino Unido | 1 |