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

Sequent and Hypersequent calculi

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2005) Sequent and Hypersequent calculi. ACM Transactions on Computational Logic, 6 (3). pp. 578-613.

Full text not available from this repository.

Item Type:Article
ID Code:1038
Deposited By:Professor Dov M. Gabbay
Deposited On:09 Nov 2007 15:46
Last Modified:09 Nov 2007 15:46

Repository Staff Only: item control page