Резултати

eNauka >  Results >  Characterising Strongly Normalising Intuitionistic Terms
Title: Characterising Strongly Normalising Intuitionistic Terms
Authors: Santo, José Espírito; Ivetić, Jelena  ; Likavec, Silvia  
Issue Date: 2012
Publication: Fundamenta Informaticae - international journal
ISSN: 0169-2968 Fundamenta Informaticae Search Idenfier
Publisher: Warszawa: Annales Societatis Mathematicae Polonae, the Polish Mathematical Society
Type: Article
Collation: vol. 121 br. 1-4 str. 83-120
DOI: 10.3233/fi-2012-772
WoS-ID: 000312724500004
Scopus-ID: 2-s2.0-84872482232
URI: https://enauka.gov.rs/handle/123456789/455976
URL: https://content.iospress.com/articles/fundamenta-informaticae/fi121-1-4-04
Metadata source: Migrirano iz RIS podataka
M-category: 
22M22

7
SCOPUSTM
5
OpenCitations
6
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.