Characterising strongly normalising intuitionistic sequent terms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Article

S. Ghilezan

J. Ivetić

Publication

Year of publication: 2008

Volume: 4941 LNCS

Pages: 85-99

Identifiers

Locators

DOI: 10.1007/978-3-540-68103-8_6

Alternative Titles