Publications

The proposed algorithms for eliminating cuts in the provability calculus GLS do not terminate

Moen, Anders

October 10, 2001

DART

  • Published date: October 10, 2001
  • Refereed: 1
  • Filename: cutslides.pdf
  • Conference: The 13th Nordic Workshop in Programming Theory (NWPT`01), DTU Lyngby, Denmark
  • Title: The proposed algorithms for eliminating cuts in the provability calculus GLS do not terminate
  • Author(s): Moen, Anders

 |