M. Valeriote
发表
R. McKenzie,
R. Willard,
P. Marković,
2009
.
M. Valeriote,
2009,
Canadian Journal of Mathematics.
R. Willard,
M. Valeriote,
A. Krokhin,
2015
.
R. McKenzie,
P. Idziak,
M. Valeriote,
2008
.
M. Valeriote,
2007,
Bulletin of Symbolic Logic.
M. Valeriote,
B. Hart,
2001
.
Bradd Hart,
Matthew Valeriote,
M. Valeriote,
1997
.
R. Willard,
M. Valeriote,
1994
.
M. Valeriote,
1990
.
P. Idziak,
M. Valeriote,
2001
.
M. Valeriote,
1997
.
R. McKenzie,
M. Valeriote,
2005
.
R. McKenzie,
M. Valeriote,
1994
.
M. Valeriote,
Maria Campanella,
Sean Conley,
2016,
Algebra universalis.
M. Valeriote,
Sean Conley,
Maria Campanella,
2016
.
Stanley Burris,
Ralph McKenzie,
Matthew Valeriote,
1991,
Journal of Symbolic Logic.
Bradd Hart,
Matthew Valeriote,
M. Valeriote,
1991,
Journal of Symbolic Logic.
Ross Willard,
Matthew Valeriote,
R. Willard,
2014
.
Hubie Chen,
Simone Bova,
Matthew Valeriote,
2011,
Inf. Comput..
Emil W. Kiss,
Matthew Valeriote,
M. Valeriote,
1993
.
Ralph McKenzie,
Matthew Valeriote,
R. McKenzie,
1989,
Progress in mathematics.
Pawel M. Idziak,
Ralph McKenzie,
Ross Willard,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Emil W. Kiss,
Matthew Valeriote,
M. Valeriote,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Yuichi Yoshida,
Hubie Chen,
Matthew Valeriote,
2019,
SIAM J. Comput..
Keith A. Kearnes,
Emil W. Kiss,
Matthew Valeriote,
1998
.
Sergei Starchenko,
Bradd Hart,
Matthew Valeriote,
1994
.
Andrei A. Bulatov,
Matthew Valeriote,
M. Valeriote,
2008,
Complexity of Constraints.