First Page | Document Content | |
---|---|---|
Date: 2013-08-21 11:18:30Model theory Operator theory Linear algebra Formal languages Petri net Trace Finite set Von Neumann algebra Interpretation Mathematics Mathematical logic Logic | Journal of Computer Security[removed]–1210 DOI[removed]JCS[removed]IOS Press 1157Add to Reading ListSource URL: www.cs.cornell.eduDownload Document from Source WebsiteFile Size: 350,66 KBShare Document on Facebook |