You are not logged in | Log 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
mgr Daria Walukiewicz-Chrząszcz