85
Voted
IPL
2000
15 years 2 months ago
2000
In this paper we consider the partial many-sorted first-order logic and its extension to the subsorted partial many-sorted first-order logic that underly the Casl specification fo...