-
1
Computational Models of Certain Hyperspaces of Quasi-metric Spaces
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
GENERIC EXPANSIONS OF GEOMETRIC THEORIES
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
3
On Some Properties of Shelah Cardinals
Veröffentlicht in Bulletin of the Iranian Mathematical Society
VolltextArtikel -
4
On the Properties of Epistemic and Temporal Epistemic Logics of Authentication
Veröffentlicht in Informatica (Ljubljana)
VolltextArtikel -
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
The definable tree property for successors of cardinals
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
13
Compactness in first-order Godel logics
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
14
-
15
Simple Models of Randomization and Preservation Theorems
Veröffentlicht in arXiv.org
VolltextArtikel -
16
Effectiveness in RPL, with applications to continuous logic
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
17
An arithmetical view to first-order logic
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
18
-
19
-
20