Roger D. Maddux

	2006
21		Roger D. Maddux: Finite Symmetric Integral Relation Algebras with No 3-Cycles. RelMiCS 2006: 2-29
	2004
20		Roger D. Maddux: Finite, integral, and finite-dimensional relation algebras: a brief history. Ann. Pure Appl. Logic 127(1-3): 117-130 (2004)
	2003
19		Roger D. Maddux: Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games. Logic Journal of the IGPL 11(5): 577-581 (2003)
	2002
18		Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux: Provability with finitely many variables. Bulletin of Symbolic Logic 8(3): 348-379 (2002)
17		Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux: Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. J. Symb. Log. 67(1): 197-213 (2002)
	2001
16		Marcelo F. Frias, Roger D. Maddux: Completeness of a relational calculus for program schemes. Theor. Comput. Sci. 254(1-2): 543-556 (2001)
	1998
15		Marcelo F. Frias, Roger D. Maddux: Completeness of a Relational Calculus for Program Schemes. LICS 1998: 127-134
	1997
14		Marcelo F. Frias, Roger D. Maddux: Completeness of the Relational Calculus MU2. RelMiCS 1997: 205-214
13		Peter Jipsen, Roger D. Maddux: Nonrepresentable Sequential Algebras. Logic Journal of the IGPL 5(4): (1997)
	1996
12		Roger D. Maddux: Relation-Algebraic Semantics. Theor. Comput. Sci. 160(1&2): 1-85 (1996)
	1994
11		Peter B. Ladkin, Roger D. Maddux: On Binary Constraint Problems. J. ACM 41(3): 435-469 (1994)
10		Roger D. Maddux: Undecidable Semiassociative Relation Algebras. J. Symb. Log. 59(2): 398-418 (1994)
9		Hajnal Andréka, Roger D. Maddux: Representations for Small Relation Algebras. Notre Dame Journal of Formal Logic 35(4): 550-562 (1994)
	1993
8		Roger D. Maddux: Relation Algebras for Reasoning about Time and Space. AMAST 1993: 27-44
7		Roger D. Maddux: Finitary Algebraic Logic II. Math. Log. Q. 39: 566-569 (1993)
	1992
6		Roger D. Maddux: Relation Algebras of Every Dimension. J. Symb. Log. 57(4): 1213-1229 (1992)
	1990
5		Clifford Bergman, Roger D. Maddux, Don Pigozzi: Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings Springer 1990
	1989
4		Roger D. Maddux: Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. J. Symb. Log. 54(3): 951-974 (1989)
	1986
3		Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski: Addendum to the paper "On the dependence of functions on their variables". J. Comb. Theory, Ser. A 42(2): 317 (1986)
	1982
2		Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski: On the Dependence of Functions on Their Variables. J. Comb. Theory, Ser. A 33(1): 106-108 (1982)
	1980
1		Roger D. Maddux: The Equational Theory of CA3 is Undecidable. J. Symb. Log. 45(2): 311-316 (1980)

Coauthor Index

1	Hajnal Andréka	[9]
2	Clifford Bergman	[5]
3	Andrzej Ehrenfeucht	[2] [3]
4	Marcelo F. Frias	[14] [15] [16]
5	Robin Hirsch	[17] [18]
6	Ian M. Hodkinson	[17] [18]
7	Peter Jipsen	[13]
8	Jeff Kahn	[2] [3]
9	Peter B. Ladkin	[11]
10	Jan Mycielski	[2] [3]
11	Don Pigozzi	[5]

Colors in the list of coauthors