First Page | Document Content | |
---|---|---|
Date: 2013-09-09 22:08:39Model 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 WIDOMAdd to Reading ListSource URL: www.cs.cornell.eduDownload Document from Source WebsiteFile Size: 1,33 MBShare Document on Facebook |