Skip to main content

Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: K
Number of items: 1.


Kumar, Ramana, Arthan, Rob, Myreen, Magnus O., Owens, Scott (2016) Self-Formalisation of Higher-Order Logic: Semantics, Soundness, and a Verified Implementation. Journal of Automated Reasoning, 56 (3). pp. 221-259. ISSN 0168-7433. E-ISSN 1573-0670. (doi:10.1007/s10817-015-9357-x)

This list was generated on Wed Dec 11 23:19:03 2019 GMT.