Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2014

Number of items: 1.

2014

Kumar, Ramana, Arthan, Rob, Myreen, Magnus O., Owens, Scott (2014) HOL with Definitions: Semantics, Soundness, and a Verified Implementation. In: Interactive Theorem Proving: Fifth International Conference, ITP 2014. Lecture Notes in Computer Science , 8558. pp. 308-324. Springer (doi:10.1007/978-3-319-08970-6_20) (KAR id:38886)

This list was generated on Wed May 1 23:11:49 2024 BST.