Rezultati

eNauka >  Rezultati >  Confluence of untyped lambda calculus via simple types
Naziv: Confluence of untyped lambda calculus via simple types
Autori: Ghilezan, Silvia ; Kunčak, Viktor
Godina: 2001
Publikacija: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Izdavač: Springer Link
Tip rezultata: Naučni članak
ISBN: 978-3-540-45446-5 Pretraži identifikator
Kolacija: vol. 2202 str. 38-49
DOI: 10.1007/3-540-45446-2_3
Scopus-ID: 2-s2.0-67949096699
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/2614
https://enauka.gov.rs/handle/123456789/579418
Napomena o dostupnosti: Пуни текст није јавно доступан
M-kategorija: 
21M21 - Vodeći međunarodni časopis kategorije M21

1
SCOPUSTM
Alt metrika
Dimensions
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.