Back to Results
First PageMeta Content
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

Document Date: 2014-06-27 12:47:14


Open Document

File Size: 407,94 KB

Share Result on Facebook
UPDATE