The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bradd Hart: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. László Csirmaz, Bradd Hart
    Program Correctness on Finite Fields [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:4-10 [Conf]
  2. Bradd Hart, Anand Pillay, Sergei Starchenko
    Triviality, NDOP and Stable Varieties. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:62, n:2, pp:119-146 [Journal]
  3. Bradd Hart, Sergei Starchenko
    Superstable Quasi-Varieties. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:69, n:1, pp:53-71 [Journal]
  4. Saharon Shelah, Claude Laflamme, Bradd Hart
    Models with Second Order Properties V: A General Principle. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:64, n:2, pp:169-194 [Journal]
  5. Rami P. Grossberg, Bradd Hart
    The Classification of Excellent Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1359-1381 [Journal]
  6. Bradd Hart
    A Proof of Morley's Conjecture. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1346-1358 [Journal]
  7. Bradd Hart, Ehud Hrushovski, Michael C. Laskowski
    Unique Decomposition in Classifiable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:61-68 [Journal]
  8. Bradd Hart, Byunghan Kim, Anand Pillay
    Coordinatisation and Canonical Bases in Simple Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:1, pp:293-309 [Journal]
  9. Bradd Hart, Sergei Starchenko
    Addendum to ``A Structure Theorem for Strongly Abelian Varieties''. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:4, pp:1419-1425 [Journal]
  10. Bradd Hart, Zeljko Sokolovic, Predrag Tanovic
    A Note On Alpha-Prime Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1557-1562 [Journal]
  11. Bradd Hart, Matthew Valeriote
    A Structure Theorem for Strongly Abelian Varieties with Few Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:3, pp:832-852 [Journal]
  12. Ambar Chowdhury, Bradd Hart
    An Unclassifiable Unidimensional Theory without OTOP. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1997, v:38, n:1, pp:93-103 [Journal]

Search in 0.004secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002