Search the dblp DataBase

Publications of Author

1. Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon
   Notions of Density That Imply Representability in Algebraic Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1998, v:91, n:2-3, pp:93-190 [Journal]
   
2. Steven Givant, Saharon Shelah
   Universal Theories Categorical in Power and kappa-Generated Models. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:69, n:1, pp:27-51 [Journal]
   
3. Steven Givant, Hajnal Andréka
   Groups and algebras of nary relations. [Citation Graph (0, 0)][DBLP]
   Bulletin of Symbolic Logic, 2002, v:8, n:1, pp:38-64 [Journal]
   
4. Alfred Tarski, Steven Givant
   Tarski's system of geometry. [Citation Graph (0, 0)][DBLP]
   Bulletin of Symbolic Logic, 1999, v:5, n:2, pp:175-214 [Journal]
   
5. Hajnal Andréka, Steven Givant, István Németi
   The Lattice of Varieties of Representable Relation Algebras. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:2, pp:631-661 [Journal]
   
6. Hajnal Andréka, Steven Givant, István Németi
   Perfect Extensions and Derived Algebras. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1995, v:60, n:3, pp:775-796 [Journal]
   
7. Steven Givant
   Inequivalent representations of geometric relation algebras. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2003, v:68, n:1, pp:267-310 [Journal]
   
8. Steven Givant
   Bibliography of Alfred Tarski. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1986, v:51, n:4, pp:913-941 [Journal]
   
9. Steven Givant
   Universal Classes of Simple Relation Algebras. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:575-589 [Journal]
   
10. Steven Givant
    The Calculus of Relations as a Foundation for Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:4, pp:277-322 [Journal]