160
click to vote
FROCOS
2005
Springer
16 years 3 days ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...