The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roger D. Maddux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marcelo F. Frias, Roger D. Maddux
    Completeness of the Relational Calculus MU2. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:205-214 [Conf]
  2. Roger D. Maddux
    Finite Symmetric Integral Relation Algebras with No 3-Cycles. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:2-29 [Conf]
  3. Roger D. Maddux
    Relation Algebras for Reasoning about Time and Space. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:27-44 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Roger D. Maddux
    Undecidable Semiassociative Relation Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:398-418 [Journal]
  17. Roger D. Maddux
    Finitary Algebraic Logic II. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1993, v:39, n:, pp:566-569 [Journal]
  18. 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]
  19. 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]
  20. 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.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002