Daria Walukiewicz-Chrząszcz

Termination of Rewriting in the Calculus of Constructions (Termination of Rewriting in the Calculus of Constructions)

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

May 22, 2003

Supervisors

• prof. dr hab. Jerzy Tiuryn, Uniwersytet Warszawski
• prof. Jean Pierre Jouannaud (University Paris XI, Orsay)

Reviewers

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