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

Резултати

Назив:	Characterization of strong normalizability for a sequent lambda calculus with co-control
Аутори:	Gilezan, Silvia ; Espirito Santo, J.
Година:	2017
Публикација:	ACM International Conference Proceeding Series
Издавач:	Association for Computing Machinery
Тип резултата:	Конференцијски рад
ISBN:	978-1-450-35291-8 Претражи идентификатор
Колација:	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
Пројекат:	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
Извор метаподатака:	Migracija
Напомена о доступности:	Подаци и/или пуни текст су непотпуни
М-категорија:	Мп категорија ће бити приказана накнадно.

1
SCOPUS^TM

1
OpenCitations

2
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Unpaywall

Google Scholar^TM

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