Back to Results
First PageMeta Content
Model theory / Non-classical logic / Abstraction / Axiology / First-order logic / Parallel computing / Modal logic / Trace / Temporal logic / Logic / Mathematics / Mathematical logic


Trace-Based Network Proof Systems: Expressiveness and Completeness JENNIFER WIDOM
Add to Reading List

Document Date: 2013-09-09 22:08:39

Open Document

File Size: 1,33 MB

Share Result on Facebook
UPDATE