112
Voted
CADE
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...