Search the dblp DataBase
Roger D. Maddux :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marcelo F. Frias , Roger D. Maddux Completeness of the Relational Calculus MU2. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:205-214 [Conf ] Roger D. Maddux Finite Symmetric Integral Relation Algebras with No 3-Cycles. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2006, pp:2-29 [Conf ] Roger D. Maddux Relation Algebras for Reasoning about Time and Space. [Citation Graph (0, 0)][DBLP ] AMAST, 1993, pp:27-44 [Conf ] Marcelo F. Frias , Roger D. Maddux Completeness of a Relational Calculus for Program Schemes. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:127-134 [Conf ] Roger D. Maddux Finite, integral, and finite-dimensional relation algebras: a brief history. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:117-130 [Journal ] Robin Hirsch , Ian M. Hodkinson , Roger D. Maddux Provability with finitely many variables. [Citation Graph (0, 0)][DBLP ] Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:348-379 [Journal ] Peter Jipsen , Roger D. Maddux Nonrepresentable Sequential Algebras. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1997, v:5, n:4, pp:- [Journal ] Roger D. Maddux Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2003, v:11, n:5, pp:577-581 [Journal ] Peter B. Ladkin , Roger D. Maddux On Binary Constraint Problems. [Citation Graph (0, 0)][DBLP ] J. ACM, 1994, v:41, n:3, pp:435-469 [Journal ] Andrzej Ehrenfeucht , Jeff Kahn , Roger D. Maddux , Jan Mycielski On the Dependence of Functions on Their Variables. [Citation Graph (0, 0)][DBLP ] J. Comb. Theory, Ser. A, 1982, v:33, n:1, pp:106-108 [Journal ] Andrzej Ehrenfeucht , Jeff Kahn , Roger D. Maddux , Jan Mycielski Addendum to the paper "On the dependence of functions on their variables". [Citation Graph (0, 0)][DBLP ] J. Comb. Theory, Ser. A, 1986, v:42, n:2, pp:317- [Journal ] Robin Hirsch , Ian M. Hodkinson , Roger D. Maddux Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:197-213 [Journal ] Roger D. Maddux The Equational Theory of CA3 is Undecidable. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1980, v:45, n:2, pp:311-316 [Journal ] Roger D. Maddux Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:3, pp:951-974 [Journal ] Roger D. Maddux Relation Algebras of Every Dimension. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1992, v:57, n:4, pp:1213-1229 [Journal ] Roger D. Maddux Undecidable Semiassociative Relation Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:398-418 [Journal ] Roger D. Maddux Finitary Algebraic Logic II. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 1993, v:39, n:, pp:566-569 [Journal ] Hajnal Andréka , Roger D. Maddux Representations for Small Relation Algebras. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:550-562 [Journal ] Marcelo F. Frias , Roger D. Maddux Completeness of a relational calculus for program schemes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:254, n:1-2, pp:543-556 [Journal ] Roger D. Maddux Relation-Algebraic Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:160, n:1&2, pp:1-85 [Journal ] Search in 0.003secs, Finished in 0.004secs