Back to Results
First PageMeta Content
Logic / Mathematical logic / Model theory / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Symbol / First-order logic / Linear temporal logic / FO


Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia
Add to Reading List

Document Date: 2016-02-12 12:31:57

Open Document

File Size: 376,53 KB

Share Result on Facebook