Statistics for An implementation of the language lambda Prolog organized around higher-order pattern unification.
Total visits
| views | |
|---|---|
| An implementation of the language lambda Prolog organized around higher-order pattern unification. | 216 |
Total visits per month
| views | |
|---|---|
| May 2024 | 3 |
| June 2024 | 0 |
| July 2024 | 1 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 2 |
| November 2024 | 0 |
File Visits
| views | |
|---|---|
| Qi_umn_0130E_10758.pdf | 631 |
Top country views
| views | |
|---|---|
| United States | 85 |
| China | 28 |
| France | 21 |
| Germany | 19 |
| Netherlands | 8 |
| Canada | 6 |
| Hong Kong SAR China | 5 |
| Singapore | 5 |
| Ireland | 4 |
| Russia | 4 |
| Brazil | 3 |
| United Kingdom | 3 |
| India | 3 |
| Italy | 3 |
| South Korea | 3 |
| Algeria | 2 |
| Finland | 2 |
| Slovakia | 2 |
| Antarctica | 1 |
| Estonia | 1 |
| Spain | 1 |
| Iran | 1 |
| Japan | 1 |
| Malaysia | 1 |
| Romania | 1 |
| Slovenia | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 15 |
| Boardman | 11 |
| Beijing | 6 |
| Brookline | 6 |
| Minneapolis | 5 |
| Des Moines | 4 |
| Singapore | 4 |
| Berlin | 3 |
| Dublin | 3 |
| Los Angeles | 3 |
| Zhengzhou | 3 |
| Central | 2 |
| Changsha | 2 |
| Montreal | 2 |
| Mountain View | 2 |
| Mumbai | 2 |
| Shenzhen | 2 |
| The Hague | 2 |
| Tianjin | 2 |
| Walnut | 2 |
| Algiers | 1 |
| Almería | 1 |
| Amsterdam | 1 |
| Annemasse | 1 |
| Austin | 1 |
| Bad Homburg | 1 |
| Bell Gardens | 1 |
| Brookland | 1 |
| Castres | 1 |
| Chicago | 1 |
| Chippewa Falls | 1 |
| Chisago City | 1 |
| Chongqing | 1 |
| Columbia | 1 |
| Dallas | 1 |
| Delhi | 1 |
| Detmold | 1 |
| Flemington | 1 |
| Fremont | 1 |
| Kuala Lumpur | 1 |
| Lille | 1 |
| Ljubljana | 1 |
| London | 1 |
| Maumelle | 1 |
| Moscow | 1 |
| Newark | 1 |
| Old Bridge | 1 |
| Overland Park | 1 |
| Pasadena | 1 |
| Pensacola | 1 |
| Phoenix | 1 |
| Pittsburgh | 1 |
| Richmond | 1 |
| Rochester | 1 |
| Saint Joseph | 1 |
| Saint Petersburg | 1 |
| Sannois | 1 |
| Seattle | 1 |
| Seoul | 1 |
| Shrewsbury | 1 |
| Smithtown | 1 |
| Southend | 1 |
| Spijkenisse | 1 |
| St Petersburg | 1 |
| Staten Island | 1 |
| Stoney Creek | 1 |
| São Paulo | 1 |
| Tallinn | 1 |
| Tehran | 1 |
| Tokyo | 1 |
| Tucson | 1 |
| Ulm | 1 |
| Vancouver | 1 |
| Vladivostok | 1 |
| Wuhu | 1 |
| Yaocheng | 1 |