scientific article; zbMATH DE number 1302675

zbMath0945.03083MaRDI QIDQ4249227

Elias Tahhan-Bittar

Publication date: 8 October 2000

Full work available at URL: https://eudml.org/doc/208921

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut eliminationterm rewriting systemsstrong normalization

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (3)

Some general results about proof normalization ⋮ A short proof of the strong normalization of classical natural deduction with disjunction ⋮ Lexicographic Path Induction

This page was built for publication: