dblp.uni-trier.dewww.uni-trier.de

Steven Givant

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
10EESteven 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
8EESteven Givant, Hajnal Andréka: Groups and algebras of nary relations. Bulletin of Symbolic Logic 8(1): 38-64 (2002)
1999
7EEAlfred 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)

Coauthor Index

1Hajnal Andréka [2] [4] [5] [8]
2Szabolcs Mikulás [5]
3István Németi [2] [4] [5]
4Saharon Shelah [3]
5András Simon [5]
6Alfred Tarski [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)