Proof systems for cyclic term graphs

  • J.W. Klop (Speaker)

Activity: Lecture / PresentationAcademic

Period12 Jun 2000
Event titleproject meeting CONFER II
Event typeLecture