Search the dblp DataBase
Lew Gordeev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Lew Gordeev
Combinatorial Principles Relevant to Finite Variable Logic. [Citation Graph (0, 0)][DBLP]
RelMiCS, 2000, pp:95-111 [Conf] - Lew Gordeev
Proof systems in relation algebra. [Citation Graph (0, 0)][DBLP]
RelMiCS, 1998, pp:80-85 [Conf] - Lew Gordeev
Cut Free Formalization of Logic with Finitely Many Variables. Part I. [Citation Graph (0, 0)][DBLP]
CSL, 1994, pp:136-150 [Conf] - Lew Gordeev
Quasi-ordinals and proof theory. [Citation Graph (0, 0)][DBLP]
Graph Structure Theory, 1991, pp:485-494 [Conf] - Lew Gordeev
Finite methods in 1-order formalisms. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:121-151 [Journal] - Lew Gordeev
Variable Compactness in 1-Order Logic. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 1999, v:7, n:3, pp:327-357 [Journal] - Lew Gordeev
Generalizations of the One-Dimensional Version of the Kruskal-Friedman Theorems. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1989, v:54, n:1, pp:100-121 [Journal] - Lew Gordeev
Generalizations of the Kruskal-Friedman Theories. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1990, v:55, n:1, pp:157-181 [Journal] - Lew Gordeev
A Modified Sentence Unprovable in PA. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1994, v:59, n:4, pp:1154-1157 [Journal]
Search in 0.002secs, Finished in 0.003secs
| 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