3 search results - page 1 / 1 » tlca 1999 |
TLCA
1999
Springer
13 years 9 months ago
1999
Springer
TLCA
1999
Springer
13 years 9 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
TLCA
1999
Springer
13 years 9 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...