| 2006 |
|---|
| 21 | EE | Roger D. Maddux:
Finite Symmetric Integral Relation Algebras with No 3-Cycles.
RelMiCS 2006: 2-29 |
| 2004 |
|---|
| 20 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Peter Jipsen,
Roger D. Maddux:
Nonrepresentable Sequential Algebras.
Logic Journal of the IGPL 5(4): (1997) |
| 1996 |
|---|
| 12 | EE | Roger D. Maddux:
Relation-Algebraic Semantics.
Theor. Comput. Sci. 160(1&2): 1-85 (1996) |
| 1994 |
|---|
| 11 | EE | 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 | EE | 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) |
