Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-1999-2-008.pdf (全文テキスト(全般)), 274KB
Bockmayr, A.(1999). Cutting planes and the elementary closure in fixed dimension (MPI-I-1999-2-008). Saarbrücken: Max-Planck-Institut für Informatik.