Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL

Počet záznamov: 1

Názov	Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL
Autor	Kosterec Miloš SAVFILOZ - Filozofický ústav SAV
Zdroj.dok.	Journal of Philosophical Logic. Vol. 49, iss. 1 (2020), pp. 121-133
Jazyk dok.	eng - angličtina
Krajina	CH - Švajčiarsko
URL	URL link
Druh dok.	rozpis článkov z periodík (rbx)
Ohlasy	PEZLAR, Ivo. Type Polymorphism, Natural Language Semantics, and TIL. In JOURNAL OF LOGIC LANGUAGE AND INFORMATION. ISSN 0925-8531, MAY 2023, vol. 32, no. 2, p. 275-295. Dostupné na: https://doi.org/10.1007/s10849-022-09383-w.
Kategória	ADCB - Vedecké práce v zahraničných karentovaných časopisoch neimpaktovaných
Kategória (od 2022)	V3 - Vedecký výstup publikačnej činnosti z časopisu
Typ výstupu	článok
Rok vykazovania	2020
Registrované v	WOS
Registrované v	SCOPUS
Registrované v	CCC
DOI	10.1007/s10992-019-09514-y

článok

	Názov súboru	Prístup	Veľkosť	Stiahnuté	Typ	Licence
	Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.pdf	Neprístupný/archív	323.3 KB	0	Vydavateľská verzia

rok	CC	IF	IF Q (best)	JCR Av Jour IF Perc	SJR	SJR Q (best)	CiteScore
	A

rok vydania	rok metriky	IF	IF Q (best)	SJR	SJR Q (best)
2020	2019			1.804	Q1

Počet záznamov: 1