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 | 88 |
Összes látogatás havi bontásban
| views | |
|---|---|
| augusztus 2025 | 0 |
| szeptember 2025 | 0 |
| október 2025 | 1 |
| november 2025 | 0 |
| december 2025 | 0 |
| január 2026 | 0 |
| február 2026 | 0 |
Fájlok megtekintése
| views | |
|---|---|
| FILE_UP_3_1706.07246.pdf | 49 |
Megtekintések országok szerint
| views | |
|---|---|
| Magyarország | 8 |
| Németország | 2 |
| Egyesült Államok | 2 |
| Kína | 1 |
Megtekintések városok szerint
| views | |
|---|---|
| Debrecen | 6 |
| Budapest (V. kerület) | 1 |
| Jinrongjie (Xicheng District) | 1 |
| Oakland | 1 |