Dmitri Naidich

Home Country
Ukraine

Automated Induction for Algebraic Specifications with Partial Functions and Its Application to Compiler Designs

Program
Fulbright Visiting Scholar Program
Program Country
Ukraine
Grant Activity Type
Research
Discipline
Computer Science
Academic Year
1993-1994
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Automated Induction for Algebraic Specifications with Partial Functions and Its Application to Compiler Designs

Scholar Information

Grantee
Dmitri Naidich
Title
Science Researcher
Institution
Ukrainian Academy of Sciences
Department
V.M. Glushkov Institute of Cybernetics
Host Institutions
Institution
University of Iowa
Faculty
Dr. Hantao Zhang
Host Department
Department of Computer Science
Institution
University of Iowa
Faculty
Dr. Hantao Zhang
Host Department
Department of Computer Science
Institution
University of Iowa
Faculty
Dr. Hantao Zhang
Host Department
Department of Computer Science