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: Fifth International Conference on Interactive Theorem Proving, 14-17 July 2014, Vienna, Austria. (doi:10.1007/978-3-319-08970-6_20) (KAR id:38886)

This list was generated on Mon Mar 30 03:35:24 2026 BST.