Резултати

еНаука >  Резултати >  Characterising Strongly Normalising Intuitionistic Terms
Назив: Characterising Strongly Normalising Intuitionistic Terms
Аутори: Santo, José Espírito; Ivetić, Jelena  ; Likavec, Silvia  
Година: 2012
Публикација: Fundamenta Informaticae - international journal
ISSN: 0169-2968 Fundamenta Informaticae Претражи идентификатор
Издавач: Warszawa: Annales Societatis Mathematicae Polonae, the Polish Mathematical Society
Тип резултата: Научни чланак
Колација: 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
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
23M23 - Рад у међ. часопису

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

Пронађи DOI

Unpaywall

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