You are not logged in |
Return to the list of grants
Termination of rewriting in the calculus of constructions (doctoral dissertation grant)
- Principal investigator
- prof. dr hab. Jerzy Tiuryn
- Contract number
- 4T11C 024 22
- Starting date
- March 1, 2002
- Ending date
- Aug. 31, 2003
- Financed by
- State Committee for Scientific Research
- Participants
- mgr Daria Walukiewicz-Chrząszcz
