David B. Benson
发表
David B. Benson,
D. B. Benson,
1987,
Category Theory and Computer Science.
Prakash Panangaden,
David B. Benson,
James R. Russell,
1990
.
David B. Benson,
1979,
J. Comput. Syst. Sci..
David B. Benson,
1984,
IEEE Transactions on Software Engineering.
David B. Benson,
1974,
Category Theory Applied to Computation and Control.
David B. Benson,
Ofer Ben-Shachar,
D. B. Benson,
1986,
LICS.
David B. Benson,
D. B. Benson,
1974,
Acta Informatica.
David B. Benson,
2000,
ArXiv.
Jerzy Tiuryn,
David B. Benson,
1985,
Mathematical Foundations of Programming Semantics.
Michael G. Main,
David B. Benson,
D. B. Benson,
1981,
Theor. Comput. Sci..
Michael G. Main,
David B. Benson,
D. B. Benson,
1983,
Am. J. Comput. Linguistics.
David B. Benson,
D. B. Benson,
1987,
MFPS.
David B. Benson,
1975,
Inf. Control..
David B. Benson,
D. B. Benson,
1976
.
David B. Benson,
D. B. Benson,
1970,
SWAT.
David B. Benson,
D. B. Benson,
1974,
Mathematical systems theory.
David B. Benson,
1982,
Symposium on Programming.
David B. Benson,
1987,
Bull. EATCS.
Michael G. Main,
David B. Benson,
1987,
ACM SIGPLAN Notices.
Jerzy Tiuryn,
David B. Benson,
1989,
Theor. Comput. Sci..
David B. Benson,
D. B. Benson,
1970,
Inf. Control..
David B. Benson,
1986,
SOEN.
David B. Benson,
Richard J. Lorentz,
D. B. Benson,
1983,
J. Comput. Syst. Sci..
Michael G. Main,
David B. Benson,
1985,
J. Comput. Syst. Sci..
Stephen R. Tate,
Jonathan Goldstine,
David B. Benson,
1967,
IEEE Spectrum.
David B. Benson,
2005,
Mathematical systems theory.
David B. Benson,
1973,
SIGA.
David B. Benson,
Irène Guessarian,
1987,
J. Comput. Syst. Sci..
David B. Benson,
Ofer Ben-Shachar,
1988,
Inf. Comput..
David B. Benson,
J. Denbigh Starkey,
D. B. Benson,
1979,
IJCAI.
David B. Benson,
Ralph D. Jeffords,
D. B. Benson,
1977,
ACM-SE 15.
David B. Benson,
2012
.
Michael G. Main,
David B. Benson,
1983,
FCT.
David B. Benson,
1960
.
David B. Benson,
1977,
SIAM J. Comput..
David B. Benson,
Ralph D. Jeffords,
D. B. Benson,
1977,
ICALP.
David B. Benson,
1986
.
Michael G. Main,
David B. Benson,
D. B. Benson,
1983
.
Carl H. Hauser,
David B. Benson,
D. B. Benson,
2004,
Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..
David B. Benson,
J. Tiuryn,
1989
.