1623 search results - page 53 / 325 » No Sorting |
156
Voted
RECOMB
2009
Springer
16 years 8 months ago
2009
Springer
162
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
138
Voted
WEA
2009
Springer
16 years 2 months ago
2009
Springer
130
Voted
IPPS
2009
IEEE
16 years 2 months ago
2009
IEEE