|
Search the dblp DataBase
Bradd Hart:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- László Csirmaz, Bradd Hart
Program Correctness on Finite Fields [Citation Graph (0, 0)][DBLP] LICS, 1986, pp:4-10 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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.001secs, Finished in 0.002secs
|