Catalog Home Page

Publications: Reynolds, Mark

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

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. (2002) Continuous Temporal Models. Lecture Notes in Computer Science, 2256 . pp. 414-425.

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

This list was generated on Sat Apr 30 00:41:16 2016 UTC.