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) |