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

Number of the records: 1

Title	Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL
Author	Kosterec Miloš SAVFILOZ - Filozofický ústav SAV
Source document	Journal of Philosophical Logic. Vol. 49, iss. 1 (2020), pp. 121-133
Language	eng - English
Country	CH - Switzerland
URL	URL link
Document kind	rozpis článkov z periodík (rbx)
Citations	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.
Category	ADCB - Scientific papers in foreign journals registered in Current Contents Connect without IF (non-impacted)
Category of document (from 2022)	V3 - Vedecký výstup publikačnej činnosti z časopisu
Type of document	článok
Year	2020
Registered in	WOS
Registered in	SCOPUS
Registered in	CCC
DOI	10.1007/s10992-019-09514-y

article

	File name	Access	Size	Downloaded	Type	License
	Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.pdf	Neprístupný/archív	323.3 KB	0	Publisher's version

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

Number of the records: 1