FROCOS
2011
Springer
13 years 3 days ago
2011
Springer
One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing the arrangement of the variables shared by the individual theories. Thi...