- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 23 |      | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux: Weak representations of relation algebras and relational bases. J. Symb. Log. 76(3): 870-882 (2011) |
| 2008 | ||
| 22 | | Jeremy F. Alm, Roger D. Maddux, Jacob Manske: Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture. Electr. J. Comb. 15(1): (2008) |
| 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): 565-574 (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) |
| 1 | Jeremy F. Alm | [22] |
| 2 | Hajnal Andréka | [9] |
| 3 | Clifford Bergman | [5] |
| 4 | Andrzej Ehrenfeucht | [2] [3] |
| 5 | Marcelo F. Frias (Marcelo Fabiùn Frias) | [14] [15] [16] |
| 6 | Robin Hirsch | [17] [18] [23] |
| 7 | Ian M. Hodkinson | [17] [18] [23] |
| 8 | Peter Jipsen | [13] |
| 9 | Jeff Kahn | [2] [3] |
| 10 | Peter B. Ladkin | [11] |
| 11 | Jacob Manske | [22] |
| 12 | Jan Mycielski | [2] [3] |
| 13 | Don Pigozzi | [5] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page