Izreki o opuščanju logičnih tipov : magistrsko delo

Autor: Gaborovič, Svitan
Impresum 1984

Discriminators in lambda calculus

Autor: Gaborovič, Svitan
Matična publikacija: CIT. Journal of computing and information technology (1995)

A note on discriminability of lambda terms

Autor: Gaborovič, Svitan
Matična publikacija: Glasnik matematički (1996)

ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces, Pula, June 19 - 22, 2001

Autor: Kalpić, Damir
Impresum 2001

ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces, Pula, June 19 - 22, 2001

Autor: Kalpić, Damir
Impresum 2001

ITI 2000 : proceedings of the 22nd International Conference on Information Technology Interfaces, Pula, June 13 - 16, 2000

Impresum 2000

ITI 2000 : proceedings of the 22nd International Conference on Information Technology Interfaces, Pula, June 13 - 16, 2000

Impresum 2000

Proceedings of the 15th International Conference on Information Technology Interfaces, Pula, June 15. - 18. 1993. : ITI '93

Impresum 1993

ITI '95 : proceedings of the 17th International Conference on Information Technology Interfaces, Pula, 13. - 16., 1995.

Autor: Kalpić, Damir
Impresum 1995

ITI '98 : proceedings of the 20th International Conference on Information Technology Interfaces, Pula, June 16 - 19, 1998

Impresum 1998