Silvia Likavec


AuthID: R-006-KNW

Publications Awaiting Confirmation

1
TITLE: Characterising Strongly Normalising Intuitionistic Terms
AUTHORS: Jose Espirito Santo ; Jelena Ivetic; Silvia Likavec;
PUBLISHED: 2012, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 121, ISSUE: 1-4
INDEXED IN: Scopus WOS

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service