Back to Results
First PageMeta Content
Mathematical logic / Automated theorem proving / IP / Theorem prover / Mathematical proof / ML / Algorithm / Prolog / Alice / Programming language theory / Software engineering / Computing


Distributed Proving in Access-Control Systems∗ Lujo Bauer† Scott Garriss‡ Abstract
Add to Reading List

Document Date: 2012-06-20 08:58:08


Open Document

File Size: 394,80 KB

Share Result on Facebook
UPDATE