Statisztika a következő hatókörre szűkítve: Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
Összes látogatás
| views | |
|---|---|
| Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi | 86 |
Összes látogatás havi bontásban
| views | |
|---|---|
| július 2022 | 6 |
| augusztus 2022 | 1 |
| szeptember 2022 | 0 |
| október 2022 | 0 |
| november 2022 | 0 |
| december 2022 | 0 |
| január 2023 | 0 |
Fájlok megtekintése
| views | |
|---|---|
| 11 |
Megtekintések országok szerint
| views | |
|---|---|
| Magyarország | 7 |
| Németország | 2 |
| Egyesült Államok | 2 |
Megtekintések városok szerint
| views | |
|---|---|
| Debrecen | 6 |
| Oakland | 1 |