zbMath0917.68195MaRDI QIDQ4223027
Stephan Schmitt, Uwe Egly
Publication date: 10 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17003
zbMATH Keywords
intuitionistic logic; proof transformation
Mathematics Subject Classification ID