Constructive Ancestral Logic and Its Applications

Program
Fulbright Visiting Scholar Program
Program Country
Grant Activity Type
Lecturer, Research
Discipline
Specialization
Mathematics and Computer Science
Academic Year
Dates
-
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Constructive Ancestral Logic and Its Applications

Scholar Information

Grantee
Liron Cohen
Title
Doctoral Candidate
Institution
Host Institutions
Institution
Faculty
Robert Constable
Host Department
Department of Computer Science