Catalog Home Page
Home | About | Contribute | Copyright | Policies | Contact us

Publications: Reynolds, Mark

Export as [feed] RSS
Group by: Publication Type | Year
Jump to: Journal Article
Number of items: 1.

Journal Article

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

This list was generated on Thu Jun 20 14:31:52 2013 IST.