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
Formalizing Coinduction via Closure Operators and Proof Cycles
Cohen, Liron
(Recipient)
Department of Computer Science
Prize
Awarded date
2021
Granting Organizations
Israel Science Foundation (ISF)