Kripke-style semantics and completeness for full simply typed Lambda calculus

Kašterović, Simona; Ghilezan, Silvia

Резултати

еНаука > Резултати > Kripke-style semantics and completeness for full simply typed Lambda calculus

Назив:	Kripke-style semantics and completeness for full simply typed Lambda calculus
Аутори:	Kašterović, Simona ; Ghilezan, Silvia
Година:	2021
Публикација:	Journal of Logic and Computation
ISSN:	0955-792X Journal of Logic and Computation Претражи идентификатор
Издавач:	Oxford Academic Press
Тип резултата:	Научни чланак
Колација:	vol. 30 br. 8 str. 1567-1608
DOI:	10.1093/LOGCOM/EXAA055
WoS-ID:	000606031500008
Scopus-ID:	2-s2.0-85100843193
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/4545 https://enauka.gov.rs/handle/123456789/576975 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4219
М-категорија:	21M21 - Рад у врхунском међ. часопису

2
SCOPUS^TM

2
OpenCitations

2
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Unpaywall

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