Journals in DBLP
Arch. Math. Log.
2008, volume: 47, number: 5
Logics with disjunction and proof by cases. [Citation Graph (, )][DBLP]
Model theory of the regularity and reflection schemes. [Citation Graph (, )][DBLP]
Sheaf toposes for realizability. [Citation Graph (, )][DBLP]
G-compactness and groups. [Citation Graph (, )][DBLP]
Even more simple cardinal invariants. [Citation Graph (, )][DBLP]
Applications of the topological representation of the pcf-structure. [Citation Graph (, )][DBLP]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002