61 search results - page 13 / 13 » Tableaux for the Lambek-Grishin calculus |
SAS
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...