Browse by Journal

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

Jump to: K

Number of items: 1.

K

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 Thu Apr 18 22:40:18 2024 BST.