First Page | Document Content | |
---|---|---|
Date: 2014-06-27 12:47:14Model theory Mathematics Metalogic Logic Mathematical logic Interpretation Structure | Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing tAdd to Reading ListSource URL: csl.sri.comDownload Document from Source WebsiteFile Size: 407,94 KBShare Document on Facebook |