Characterising strongly normalising intuitionistic sequent terms

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

Book

S. Ghilezan

J. Ivetić

Publication

Year of publication: 2008

Volume: 4941LNCS

Pages: 85-99

Identifiers

Other: 2-s2.0-44649175921

Locators

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

Alternative Titles