Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Activities
Research Labs / Equipment
Datasets
Projects
Search by expertise, name or affiliation
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, Liron
(Recipient) & Constable, Robert L. (Recipient)
Department of Computer Science
Prize
Awarded date
2021
Granting Organizations
United States-Israel Binational Science Foundation (BSF)
X