Archived publication
Archived publication
The proposed algorithms for eliminating cuts in the provability calculus GLS do not terminate
3411/Moen_-_The_proposed_algorithms_for_eliminating_cuts_in_th.pdf
October 10, 2001
DART
- Published date: October 10, 2001
- Refereed: 1
- Filename: 3411/Moen_-_The_proposed_algorithms_for_eliminating_cuts_in_th.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