[Back]


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", Springer, 2013, ISBN: 978-3-642-36038-1, 148 - 160.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-36039-8_14


Created from the Publication Database of the Vienna University of Technology.