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
Subjects:	UNSPECIFIED
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

Accessibility | Terms and Conditions | Last Modified 01 November 2007