シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer K...

原題は、 Introduction to the Theory of Computation オートマトンと(形式)言語の理論、 計算可能性の理論、 及び計算の複雑さの理...