Constructive Ancestral Logic and Its Applications
Program
Fulbright Visiting Scholar Program
Grant Activity Type
Lecturer, Research
Specialization
Mathematics and Computer Science
Dates
-
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Constructive Ancestral Logic and Its Applications
Host Institutions
Host Department
Department of Computer Science