Powrót do listy of Promotor
Daria Walukiewicz-Chrząszcz
Termination of Rewriting in the Calculus of Constructions (Termination of Rewriting in the Calculus of Constructions)
- Afiliacja
- Uniwersytet Warszawski
- W zakresie
- informatyki
- Data nadania
- 22 maja 2003
- Promotorzy
- prof. dr hab. Jerzy Tiuryn, Uniwersytet Warszawski
- prof. Jean Pierre Jouannaud
- Recenzenci
- dr hab. Jerzy Marcinkowski
- prof. Mitsuhiro Okada
- prof. Helmut Schwichtenberg
- dr hab. Paweł Urzyczyn