Search the dblp DataBase
Zlatan Damnjanovic: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- James Cain, Zlatan Damnjanovic
On the Weak Kleene Scheme in Kripke's Theory of Truth. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1991, v:56, n:4, pp:1452-1468 [Journal] - Zlatan Damnjanovic
Strictly Primitive Recursive Realizability, I. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1994, v:59, n:4, pp:1210-1227 [Journal] - Zlatan Damnjanovic
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1995, v:60, n:4, pp:1208-1241 [Journal] - Zlatan Damnjanovic
Elementary Functions and Loop Programs. [Citation Graph (0, 0)][DBLP]
Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:496-522 [Journal] - Zlatan Damnjanovic
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive-Rule. [Citation Graph (0, 0)][DBLP]
Notre Dame Journal of Formal Logic, 1998, v:39, n:3, pp:363-388 [Journal]
Search in 0.001secs, Finished in 0.001secs
| 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