J. Ivetic
AuthID: R-006-J7R
1
TITLE: Characterising strongly normalising intuitionistic sequent terms
AUTHORS: Espirito E Santo ; Ghilezan, S; Ivetic, J;
PUBLISHED: 2008, SOURCE: International Conference on Types for Proofs and Programs (TYPES 2007) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4941
AUTHORS: Espirito E Santo ; Ghilezan, S; Ivetic, J;
PUBLISHED: 2008, SOURCE: International Conference on Types for Proofs and Programs (TYPES 2007) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4941
INDEXED IN: 
WOS
WOS