Sequent and Hypersequent calculi

D. M. Gabbay, G. Metcalfe, N. Olivetti

Research output: Contribution to journalArticlepeer-review

40 Citations (Scopus)
Original languageEnglish
Pages (from-to)578-613
Number of pages36
JournalACM Transactions on Computational Logic
Volume6
Issue number3
Publication statusPublished - 2005

Cite this