Univerzitet u Novom Sadu, Fakultet tehničkih nauka

Year from:

Year to:

Refined By:

Type: Conference Paper

Date Issued: [1980 TO 1989]

Date Issued: 1989

The results include the works of researchers who are CURRENTLY employed at the displayed institution.

Issue Date	Title	Author(s)	Type	Мp-cat.
1989	The correspondence between weak implicational logics and typed lambda calculus	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later