Kripke Semantics for Lambda Calculus - with Pairs and Disjoint Sums

Kašterović, Simona; Gilezan, Silvia

Резултати

еНаука > Резултати > Kripke Semantics for Lambda Calculus - with Pairs and Disjoint Sums

Назив:	Kripke Semantics for Lambda Calculus - with Pairs and Disjoint Sums
Аутори:	Kašterović, Simona ; Gilezan, Silvia
Година:	2019
Публикација:	8th International Conference on Logic and Applications - LAP 2019
Издавач:	Inter University Center Dubrovnik, Croatia
Тип резултата:	Конференцијски рад
Колација:	vol. 8 str. 23-25
URI:	https://enauka.gov.rs/handle/123456789/548701
URL:	http://imft.ftn.uns.ac.rs/math/cms/LAP2019 https://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP_2019_Book_of_Abstracts.pdf
Извор метаподатака:	Migrirano iz RIS podataka
М-категорија:	Мп категорија ће бити приказана накнадно.

Пронађи DOI

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

Google Scholar^TM

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