Резултати

еНаука >  Резултати >  Resource control and strong normalisation
Назив: Resource control and strong normalisation
Аутори: Ghilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  
Година: 2013
Публикација: arXiv
ISSN: 2331-8422 Претражи идентификатор
Издавач: Cornell University
Тип резултата: Научни чланак
DOI: 10.48550/arXiv.1112.3455
URI: https://enauka.gov.rs/handle/123456789/920455
URL: https://arxiv.org/abs/1112.3455
https://ens-lyon.hal.science/ensl-00651985/document
М-категорија: 
Мп категорија ће бити приказана накнадно.

Алт метрика
Dimensions
Unpaywall

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