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