Publications: Reynolds, Mark

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) Axioms for Branching Time. Journal of Logic and Computation, 12 (4). pp. 679-697.

Reynolds, M. (2002) Continuous Temporal Models. Lecture Notes in Computer Science, 2256 . pp. 414-425.

Reynolds, M. (2001) On the products of Linear Modal Logics. Journal of Logic and Computation, 11 (6). pp. 909-931.

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

Marx, M. and Reynolds, M. (1999) Undecidability of compass logic. Journal of Logic and Computation, 9 (6). pp. 897-914.