Contributions to Proceedings:
B. Lellmann, D. Pattinson:
"Contructing cut free sequent systems with context restrictions based on classical or intuitionistic logic";
in: "Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, LNCS 7750",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.