Characterization of strong normalizability for a sequent lambda calculus with co-control

Rezultati

Naziv:	Characterization of strong normalizability for a sequent lambda calculus with co-control
Autori:	Gilezan, Silvia ; Espirito Santo, J.
Godina:	2017
Publikacija:	ACM International Conference Proceeding Series
Izdavač:	Association for Computing Machinery
Tip rezultata:	Konferencijski rad
ISBN:	978-1-450-35291-8 Pretraži identifikator
Kolacija:	str. 57-58
DOI:	10.1145/3131851.3131867
WoS-ID:	000463643400018
Scopus-ID:	2-s2.0-85033701105
URI:	https://enauka.gov.rs/handle/123456789/277908 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2580
URL:	https://dl.acm.org/citation.cfm?doid=3131851.3131867 http://types2017.elte.hu/proc.pdf#page=65
Projekat:	FCT - Fundação para a Ciência e a Tecnologia, project UID-MAT-00013/2013 Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Izvor metapodataka:	Migracija
Napomena o dostupnosti:	Подаци и/или пуни текст су непотпуни
M-kategorija:	Mp kategorija će biti prikazana naknadno.

1
SCOPUS^TM

1
OpenCitations

2
WEB OF SCIENCE^TM

Alt metrika

Dimensions

Unpaywall

Google Scholar^TM

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