Statistics for Realizing dependently typed logic programming.
Total visits
| views | |
|---|---|
| Realizing dependently typed logic programming. | 197 |
Total visits per month
| views | |
|---|---|
| May 2024 | 0 |
| June 2024 | 1 |
| July 2024 | 0 |
| August 2024 | 0 |
| September 2024 | 1 |
| October 2024 | 1 |
| November 2024 | 4 |
File Visits
| views | |
|---|---|
| Snow_Zachary_May2010.pdf | 211 |
Top country views
| views | |
|---|---|
| United States | 90 |
| France | 20 |
| China | 17 |
| Germany | 15 |
| Canada | 7 |
| United Kingdom | 7 |
| Netherlands | 4 |
| Finland | 3 |
| Ireland | 3 |
| Italy | 3 |
| Austria | 2 |
| Spain | 2 |
| Hong Kong SAR China | 2 |
| New Zealand | 2 |
| Romania | 2 |
| Singapore | 2 |
| Armenia | 1 |
| Brazil | 1 |
| Greece | 1 |
| Indonesia | 1 |
| Japan | 1 |
| South Korea | 1 |
| Malaysia | 1 |
| Philippines | 1 |
| Poland | 1 |
| Portugal | 1 |
| Réunion | 1 |
| Russia | 1 |
| Taiwan | 1 |
| Ukraine | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 12 |
| Minneapolis | 5 |
| Houston | 4 |
| Tianjin | 4 |
| Beijing | 3 |
| Changsha | 3 |
| Dublin | 3 |
| Auckland | 2 |
| Boardman | 2 |
| Brooklyn | 2 |
| Frankfurt am Main | 2 |
| Los Angeles | 2 |
| Mountain View | 2 |
| Ottawa | 2 |
| Paris | 2 |
| Richmond | 2 |
| Rocafort | 2 |
| Round Top | 2 |
| Seattle | 2 |
| Singapore | 2 |
| West Lafayette | 2 |
| Wilmington | 2 |
| Arezzo | 1 |
| Bad Homburg | 1 |
| Bloomington | 1 |
| Bourne | 1 |
| Braintree | 1 |
| Breuil-le-Sec | 1 |
| Brookline | 1 |
| Buffalo | 1 |
| Cebu City | 1 |
| Central | 1 |
| Des Moines | 1 |
| Fremont | 1 |
| Gravesend | 1 |
| Grevena | 1 |
| Halifax | 1 |
| Hattiesburg | 1 |
| Jakarta | 1 |
| Kyiv | 1 |
| Lake Elsinore | 1 |
| London | 1 |
| Maidenhead | 1 |
| Moscow (Tsentralnyy administrativnyy okrug) | 1 |
| Nangangzi | 1 |
| Oshawa | 1 |
| Overland Park | 1 |
| Pensacola | 1 |
| Peoria | 1 |
| Princeton Junction | 1 |
| Reston | 1 |
| Ridgewood | 1 |
| Riverdale Park | 1 |
| Sacramento | 1 |
| Saint Paul | 1 |
| Saint-Denis | 1 |
| San Diego | 1 |
| Selangor | 1 |
| Stanford | 1 |
| Staten Island | 1 |
| Stockton | 1 |
| São Paulo | 1 |
| The Hague | 1 |
| Tokyo | 1 |
| Victoria | 1 |
| Vienna | 1 |
| Wenzhou | 1 |
| Wrocław | 1 |
| Wuzhou | 1 |
| Yerevan | 1 |