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 t

First Page		Document Content
Date: 2014-06-27 12:47:14 Model 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 t Add to Reading List Source URL: csl.sri.com Download Document from Source Website File Size: 407,94 KB Share Document on Facebook