University of Cambridge > Talks.cam > Computer Laboratory Automated Reasoning Group Lunches > n-bit words in HOL

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

n-bit words in HOL

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Thomas Tuerk.

Speaker: Anthony Fox

I will give an introduction to the HOL4 theory and present some recent work on adding simplification and decision procedures.

This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Natural History Cabinet, Cambridge University Department of History and Philosophy of Science Cavendish Graduate Student Conference 2010 Alfaisal University Engineering Seminars

Other talks

Not Maggie's fault? The Thatcher government and the reemergence of global finance Beyond truth-as-correspondence: realism for realistic people CANCELLED - Mathematical methods in reacting flows: From spectral to Lyapunov analysis CANCELLED DUE TO STRIKE ACTION Concentrated, “pulsed” axial glacier flow: structural glaciological evidence from Kvíárjökull in SE Iceland Random Feature Expansions for Deep Gaussian Processes “Modulating Tregs in Cancer and Autoimmunity” Amino acid sensing: the elF2a signalling in the control of biological functions 'Cryptocurrency and BLOCKCHAIN – PAST, PRESENT AND FUTURE' Single Cell Seminars (September) Discovering regulators of insulin output with flies and human islets: implications for diabetes and pancreas cancer Nonstationary Gaussian process emulators with covariance mixtures
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity