D. Rydeheard
发表
David E. Rydeheard,
Giles Reger,
Giles Reger,
2015,
RV.
D. Rydeheard,
B. Hilken,
2001
.
C. Goble,
D. Rydeheard,
Sergio Tessaris,
1998
.
Samson Abramsky,
Andrew M. Pitts,
David E. Rydeheard,
1991
.
D. Rydeheard,
B. Hilken,
M. Collinson,
2003
.
A. Voronkov,
D. Rydeheard,
J. Sanchez,
2014
.
Rod M. Burstall,
David E. Rydeheard,
R. Burstall,
1988,
Prentice Hall International Series in Computer Science.
Giles Reger,
D. Rydeheard,
2022
.
Andrew M. Pitts,
Peter Dybjer,
David E. Rydeheard,
1987,
Lecture Notes in Computer Science.
Dov M. Gabbay,
Howard Barringer,
David E. Rydeheard,
2014,
Language, Culture, Computation.
David E. Rydeheard,
Donald Sannella,
D. Sannella,
2002,
Formal Aspects of Computing.
Dov M. Gabbay,
Howard Barringer,
David E. Rydeheard,
2007,
RV.
Barney P. Hilken,
David E. Rydeheard,
D. Rydeheard,
1997,
Mathematical Structures in Computer Science.
Howard Barringer,
David E. Rydeheard,
Klaus Havelund,
2010,
J. Log. Comput..
D. Rydeheard,
B. Hilken,
B. Hilken,
1991
.
Renate A. Schmidt,
David E. Rydeheard,
John G. Stell,
2016,
J. Log. Algebraic Methods Program..
D. Rydeheard,
B. Hilken,
D. E. Rydeheard,
2009
.
Rod M. Burstall,
David E. Rydeheard,
R. Burstall,
1985,
CTCS.
Rod M. Burstall,
David E. Rydeheard,
R. Burstall,
1985,
CTCS.
Howard Barringer,
David E. Rydeheard,
Giles Reger,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
D. Rydeheard,
Shenghui Wang,
D. Brée,
2022
.
David E. Rydeheard,
D. Rydeheard,
Shenghui Wang,
2022
.
Renate A. Schmidt,
David E. Rydeheard,
John G. Stell,
2014,
Advances in Modal Logic.
David E. Rydeheard,
Esther Dennis-Jones,
D. Rydeheard,
1993,
Formal Aspects of Computing.
David E. Rydeheard,
John G. Stell,
J. Stell,
1987,
Category Theory and Computer Science.
Howard Barringer,
David E. Rydeheard,
Klaus Havelund,
2012,
FM.