发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| USA | 47 |
| England | 15 |
| GERMANY (FED REP GER) | 15 |
| Netherlands | 14 |
| Austria | 11 |
| Italy | 11 |
| Japan | 11 |
| Czech Republic | 8 |
| Finland | 7 |
| Israel | 7 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| UNIVERSITY OF AMSTERDAM | 8 |
| TECHNISCHE UNIVERSITAT WIEN | 7 |
| UNIVERSITY OF WISCONSIN SYSTEM | 6 |
| CZECH ACADEMY OF SCIENCES | 5 |
| HEBREW UNIVERSITY OF JERUSALEM | 5 |
| UNIVERSITY OF CALIFORNIA SYSTEM | 5 |
| UNIVERSITY OF HELSINKI | 5 |
| UNIVERSITY OF LEEDS | 5 |
| RUTGERS STATE UNIVERSITY NEW BRUNSWICK | 4 |
| TECHNICAL UNIVERSITY OF DARMSTADT | 4 |
文章引用情况
1
Uniform interpolation and the existence of sequent calculi2
Descriptive complexity of graph spectra3
The Sigma(l) -provability logic of HA4
On constructivity and the Rosser property: a closer look at some Godelean proofs5
Ehrenfeucht-Fraisse games on ordinals6
The Dyck and the Preiss separation uniformly7
A multiplication operation for the hierarchy of norms8
New-from-old full dualities via axiomatisation9
Elementary equivalences and accessible functors10
From realizability to induction via dependent intersection