J. Ivetic
AuthID: R-006-J7R
1
TÃTULO: Characterising strongly normalising intuitionistic sequent terms
AUTORES: Espirito E Santo ; Ghilezan, S; Ivetic, J;
PUBLICAÇÃO: 2008, FONTE: International Conference on Types for Proofs and Programs (TYPES 2007) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4941
AUTORES: Espirito E Santo ; Ghilezan, S; Ivetic, J;
PUBLICAÇÃO: 2008, FONTE: International Conference on Types for Proofs and Programs (TYPES 2007) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4941
INDEXADO EM: 
WOS
WOS