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 (University Paris XI, Orsay)

Recenzenci

• dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski)
• prof. Mitsuhiro Okada (Keio University, Tokyo)
• prof. Helmut Schwichtenberg (Muenchen Universitaet)
• dr hab. Paweł Urzyczyn (Uniwersytet Warszawski)