Back to Results
First PageMeta Content
Automated theorem proving / Proof theory / Logic in computer science / Non-classical logic / Deduction / Linear logic / Intuitionistic logic / Natural deduction / Logic programming / Logic / Mathematical logic / Mathematics


The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS[removed]December 4, 2006 Department of Computer Science
Add to Reading List

Document Date: 2007-05-23 16:37:29

Open Document

File Size: 988,80 KB

Share Result on Facebook

City

Pittsburgh / /

Country

United States / /

Facility

Computer Science Carnegie Mellon University / Carnegie Mellon University / /

IndustryTerm

stateful systems / automated proof search / automated reasoning systems / Resource management / forward search turns / indirect reasoning systems / stateful concurrent systems / security protocols / diverse systems / algorithmic solution / /

OperatingSystem

Sequent / /

Organization

office of Naval Research / National Science Foundation / Department of Computer Science Carnegie Mellon University Pittsburgh / Tallinn Technical University / Philosophy Thesis committee / Department of Computer Science / Carnegie Mellon University / United States government / /

Person

Jeremy Avigad / Stephen Brookes Tanel Tammet / Stephen Brookes / Frank Pfenning / Noam Zeilberger / Chuck Liang / Jeremy Avigad Stephen Brookes Tanel / Sean McLaughlin / Jason Reed / Brigitte Pientka / Daniel Blandford / Deepak Garg / Tanel Tammet / Sequent Calculus / Kevin Watkins / Martin Zinkevich / Dale Miller / /

Position

author / chair / thesis advisor / Forward / General / /

ProvinceOrState

Pennsylvania / /

Technology

security protocols / /

SocialTag