Filters
cris logo
-
New search Filters
Select from list
Displayed from Show more
You have reached the maximum number of displayed search results.
All results displayed
No results are available for the search performed
Displayed from
You have reached the maximum number of displayed search results.
All results displayed
Loading results
Obtaining statistical data

MSc Svitan Gaborovič

MSc Svitan Gaborovič
no.: 03781 source: ARIS

researcher – retired
  • English
  • Reading: Fluent
  • Writing: Fluent
  • Speaking: Fluent
  • Croatian
  • Reading: Fluent
  • Writing: Fluent
  • Speaking: Fluent
  • French
  • Reading: Functional
  • Writing: -
  • Speaking: -
  • Russian
  • Reading: Functional
  • Writing: -
  • Speaking: -
Edit
Research activity

Code Science Field Subfield
1.01.01  Natural sciences and mathematics  Mathematics  Analysis 
Keywords
mathematical logic, type theory, lambda calcualus, cut-elimination, categorical logic, topoi, combinatory logic, logic of programming, functional programming, models of computation, semantics
Bibliography Representative bibliographic units | Personal| COBISS+
source: COBISS
source: SICRIS
Evaluation (rules)
Evaluation of bibliographic research performance indicators according to ARIS methodology
source: COBISS
source: ARIS
Data for ARIS tenders ( 12.01.2024 – Project tender, archive )
Citations Citations for bibliographic records in COBIB.SI that are linked to records in citation databases
source: WoS source: Scopus source: COBISS
Database Linked records Citations Pure citations Average pure citations
WoS 0  0  0  0 
Scopus 3  0  0  0 
Education
source: ARIS
Level of education Professional title Study subject Faculty Year
  Engineer of Mathematics  Mathematics  SI 1974 
Master's degree    Mathematics  HR University of Zagreb, Faculty of Natural Sciences 1984 
Doctoral dissertations and other final papers Show
Obtaining results now
source: COBISS
Research projects Legend
source: ARIS
no. Code Title Period Head
1. J2-7647  Napredne metode za kvantitativno izvrednotenje sledi težkih ionov v polimerih in polprevodnikih (Slovene)   1996 - 1998  PhD Radomir Ilić  1,740 
ARIS research and infrastructure programmes Legend
source: ARIS
no. Code Title Period Head
1. P0-0503-0797  Optimizacija procesov v življenskem ciklu gradbenega objekta (Slovene)   2001 - 2003  PhD Danijel Rebolj  3,794 
Confirmation required
Views history
Favourite