Murdoch University Research Repository

Welcome to the Murdoch University Research Repository

The Murdoch University Research Repository is an open access digital collection of research
created by Murdoch University staff, researchers and postgraduate students.

Learn more

Publications: Reynolds, Mark

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

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.

This list was generated on Wed Jul 8 12:20:53 2020 UTC.