Back to Results
First PageMeta Content
Deduction / Logical consequence / Propositional calculus / Automated theorem proving / Sequent calculus / Amenable group / Monotonicity of entailment / Entailment / Linear logic / Logic / Mathematical logic / Proof theory


LNCS[removed]A Linear Logic of Authorization and Knowledge
Add to Reading List

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

Open Document

File Size: 467,08 KB

Share Result on Facebook

Currency

USD / /

IndustryTerm

bank accounts / bank / proof search technique / /

Organization

National Science Foundation / Carnegie Mellon University / /

Person

Kevin D. Bowers / Deepak Garg / Michael K. Reiter Carnegie / Frank Pfenning / /

Position

registrar / /

SocialTag