Proof systems for cyclic term graphs

Klop, J. W. (Speaker)

Activity: Lecture / PresentationAcademic

Period12 Jun 2000
Held atproject meeting CONFER II
Event typeLecture