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, 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.

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, 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.

Michael G. Main, David B. Benson, 1983, FCT.

David B. Benson, 1977, SIAM J. Comput..

David B. Benson, Ralph D. Jeffords, D. B. Benson, 1977, ICALP.

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 .