Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Interpolation in goal directed proof systems 1

Gabbay, D. M. and Olivetti, N. (2005) Interpolation in goal directed proof systems 1. In: Proceedings LC-2001.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:993
Deposited By:Professor Dov M. Gabbay
Deposited On:09 Nov 2007 15:00
Last Modified:09 Nov 2007 15:00

Repository Staff Only: item control page