Roger D. Maddux

Identifiers

• name variant Roger D. Maddux 0.60 · backfill

Papers (6)

1. Tarski's relevance logic; Version 2 math.LO · 2019 · author #1
2. Finite representations for two small relation algebras math.LO · 2017 · author #2
3. The finite representation property fails for composition and intersection math.LO · 2016 · author #1
4. Subcompletions of representable relation algebras math.LO · 2014 · author #1
5. Gallai's Theorem math.CO · 2014 · author #1
6. There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras math.LO · 2013 · author #3

Mentions

• 1604.01386 #1 · arxiv_oai · confidence 0.70 Roger D. Maddux
• 1411.1038 #1 · arxiv_oai · confidence 0.70 Roger D. Maddux
• 1411.1096 #1 · backfill · confidence 0.70 Roger D. Maddux
• 1411.1038 #1 · backfill · confidence 0.70 Roger D. Maddux
• 1310.5076 #3 · backfill · confidence 0.70 Roger D. Maddux

Frequent Coauthors

• Jeremy F. Alm 2 shared papers
• Robin Hirsch 1 shared papers