Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination
暂无分享，去创建一个
[1] Mike Paterson,et al. Linear unification , 1976, STOC '76.
[2] Christian G. Fermüller,et al. Cut Elimination for First Order Gödel Logic by Hyperclause Resolution , 2008, LPAR.
[3] R. Statman. Lower bounds on Herbrand’s theorem , 1979 .
[4] Alexander Leitsch,et al. CERES in Many-Valued Logics , 2004, LPAR.
[5] Alexander Leitsch,et al. PROOFTOOL: a GUI for the GAPT Framework , 2012, UITP.
[6] Alexander Leitsch,et al. Cut-elimination and Redundancy-elimination by Resolution , 2000, J. Symb. Comput..