[Back]


Publications in Scientific Journals:
R. Ramanayake et al.:
"Cut-elimination for Weak Grzegorczyk Logic Go";
Studia Logica, 102 (2014), 1; 1 - 27.

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