Multi-type sequent calculi

S Frittella, G Greco, A Kurz, A Palmigiano, A Sikimi¿

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of Trends in Logic XIII
Editors	A Indrzejczak, J Kaczmarek, M Zawidski
Publisher	Studia Logica
Pages	81-93
Number of pages	13
Publication status	Published - 2014

Name
Publisher	Studia Logica

Keywords

@inproceedings{b2b2803b13b04e0eababd15eb3708bd2,

title = "Multi-type sequent calculi",

keywords = "Conf.proc. > 3 pag",

author = "S Frittella and G Greco and A Kurz and A Palmigiano and A Sikimi¿",

year = "2014",

language = "Undefined/Unknown",

publisher = "Studia Logica",

pages = "81--93",

editor = "A Indrzejczak and J Kaczmarek and M Zawidski",

booktitle = "Proceedings of Trends in Logic XIII",

}