Back to Results
First PageMeta Content
Logic / Mathematics / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Mathematical analysis / Measure theory / Generalised Whitehead product / Indexed grammar


Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher
Add to Reading List

Document Date: 2010-12-15 21:40:04


Open Document

File Size: 290,14 KB

Share Result on Facebook