Catalog Home Page

Publications: Reynolds, Mark

Stats for Reynolds, Mark
Export as [feed] RSS
Group by: Publication Type | Year
Number of items: 3.

Journal Article

Bellgard, M., Gamble, T., Reynolds, M., Hunter, A., Trifonov, E. and Taplin, R. (2003) Gap mapping: A paradigm for aligning two sequences. Applied Bioinformatics, 2 (3 Suppl). S31-S35.

Reynolds, M. (2003) The complexity of the temporal logic with “until” over general linear time. Journal of Computer and System Sciences, 66 (2). pp. 393-426.

Reynolds, M. (2001) An axiomatization of full computation tree logic. Journal of Symbolic Logic, 66 (3). pp. 1011-1057.

This list was generated on Fri Dec 26 05:52:36 2014 GMT.