Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 3.
2007
Slind, Konrad and Owens, Scott and Iyoda, Juliano and Gordon, Mike (2007) Proof Producing Synthesis of Arithmetic and Cryptographic Hardware. Formal Aspects of Computing, 19 (3). pp. 343-362. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-007-0028-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2006
Gordon, Mike and Iyoda, Juliano and Owens, Scott and Slind, Konrad (2006) Automatic Formal Synthesis of Hardware from Higher Order Logic. Electronic Notes in Theoretical Computer Science, 145 (?). pp. 27-43. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2005.10.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2005
Gordon, Mike and Iyoda, Juliano and Owens, Scott and Slind, Konrad (2005) A Proof-Producing Hardware Compiler for a Subset of Higher Order Logic. In: Theorem Proving in Higher Order Logics: Emerging Trends Proceedings. (Full text available) |