( en | de | ru )

 

Disambiguation of "Maddux, Roger D."

Author of the publication

copydeleteadd this publication to your clipboard
There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras.

, , and . Rev. Symb. Log., 9 (3): 511-521 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sebastian Roger

Susanne Rogers

Gerhard Roger

Christoph Röger

Ralf Röger

 

Other publications of authors with the same name

Completeness of a Relational Calculus for Program Schemes., and . LICS, page 127-134. IEEE Computer Society, (1998)Arrow's Theorem for incomplete relations.. J. Log. Algebraic Methods Program., 83 (2): 235-248 (2014)Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture., , and . Electr. J. Comb., (2008)Relation algebras of Sugihara, Belnap, Meyer, and Church., and . J. Log. Algebraic Methods Program., (2020)Relation Algebras for Reasoning about Time and Space.. AMAST, page 27-44. Springer, (1993)There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras., , and . Rev. Symb. Log., 9 (3): 511-521 (2016)Finite Symmetric Integral Relation Algebras with No 3-Cycles.. RelMiCS, volume 4136 of Lecture Notes in Computer Science, page 2-29. Springer, (2006)Completeness of the Relational Calculus MU2., and . RelMiCS, page 205-214. (1997)Representations for Small Relation Algebras., and . Notre Dame J. Formal Log., 35 (4): 550-562 (1994)Monk algebras and Ramsey theory., and . J. Log. Algebraic Methods Program., (2022)