MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Theorem Proving in (Torsion-Free) Cancellative Abelian Monoids

Uwe Waldmann
MPII
AG2 Seminar
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS  
AG Audience
English

Date, Time and Location

Wednesday, 8 January 97
11:30
60 Minutes
46.1 - MPII
024
Saarbrücken

Contact

Uwe Waldmann
9325-227
--email hidden
passcode not visible
logged in users only