R. Maddux
发表
P. Ladkin,
R. Maddux,
1987
.
R. Maddux,
1989
.
Peter B. Ladkin,
Roger D. Maddux,
P. Ladkin,
1994,
JACM.
R. Maddux,
1991
.
R. Maddux,
1982
.
Peter B. Ladkin,
Roger D. Maddux,
P. Ladkin,
1989
.
R. Maddux,
1980
.
R. Maddux,
1990
.
Roger D. Maddux,
R. Maddux,
R. L. Kramer,
1982
.
R. Maddux,
2019,
1901.06567.
R. Maddux,
2014,
1411.1096.
Jeff Kahn,
Andrzej Ehrenfeucht,
Roger D. Maddux,
1982,
J. Comb. Theory, Ser. A.
Richard L. Epstein,
Roger D. Maddux,
Walter Carnielli,
1990
.
R. Maddux,
2007
.
R. Maddux,
I. Hodkinson,
T. Hirsch,
1998
.
R. Maddux,
1993
.
R. Maddux,
2005
.
R. Maddux,
2020,
2001.10333.
K. Athreya,
R. Maddux,
1999
.
R. Maddux,
2018,
Algebra universalis.
Roger D. Maddux,
Richard L. Kramer,
R. Maddux,
2019,
J. Log. Algebraic Methods Program..
R. Maddux,
2004,
The American Naturalist.
Ian M. Hodkinson,
Roger D. Maddux,
Robin Hirsch,
2002,
Journal of Symbolic Logic.
Roger D. Maddux,
Peter Jipsen,
R. Maddux,
1997,
Log. J. IGPL.
R. Maddux,
M. Frias,
1997
.
Roger D. Maddux,
R. Maddux,
1996,
Theor. Comput. Sci..
Roger D. Maddux,
R. Maddux,
1992,
Journal of Symbolic Logic.
Roger D. Maddux,
István Németi,
H. Andreka,
1991
.
Roger D. Maddux,
R. Maddux,
1990
.
Roger D. Maddux,
R. Maddux,
1989
.
Roger D. Maddux,
R. Maddux,
1993,
AMAST.
Roger D. Maddux,
R. Maddux,
2006,
RelMiCS.
Marcelo F. Frias,
Roger D. Maddux,
R. Maddux,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Roger D. Maddux,
R. Maddux,
1997,
Relational Methods in Computer Science.
Roger D. Maddux,
R. Maddux,
1991,
Stud Logica.
Sung Y. Song,
R. Maddux,
F. Keinert,
2007
.
Roger D. Maddux,
R. Maddux,
2014,
J. Log. Algebraic Methods Program..
Katalin Bimbó,
Roger D. Maddux,
J. Michael Dunn,
2009,
The Review of Symbolic Logic.
Roger D. Maddux,
R. Maddux,
2020,
Outstanding Contributions to Logic.
Roger D. Maddux,
R. Maddux,
2010,
The Review of Symbolic Logic.
Ian M. Hodkinson,
Roger D. Maddux,
Robin Hirsch,
2011,
The Journal of Symbolic Logic.
Roger D. Maddux,
R. Maddux,
2004,
Ann. Pure Appl. Log..
Roger D. Maddux,
Hajnal Andréka,
R. Maddux,
1994,
Notre Dame J. Formal Log..
Roger D. Maddux,
R. Maddux,
1994
.
Roger D. Maddux,
R. Maddux,
1983,
Ann. Pure Appl. Log..
Roger D. Maddux,
R. Maddux,
1985
.
Roger D. Maddux,
R. Maddux,
1989,
Journal of Symbolic Logic.
R. Maddux,
2023,
2309.13366.
R. Maddux,
R. L. Kramer,
2022,
J. Log. Algebraic Methods Program..
Ian M. Hodkinson,
Roger D. Maddux,
Robin Hirsch,
2002,
Bulletin of Symbolic Logic.
Roger D. Maddux,
R. Maddux,
1978
.
Roger D. Maddux,
Jeremy F. Alm,
Jacob Manske,
2008,
Electron. J. Comb..