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