Contact Person : Laurent Fribourg; Last Date for the submission of abstract : Not Available ; Description : automated deduction and interactive theorem
proving, constructive mathematics and type theory,
equational logic and term rewriting, linear logic,
logical aspects of computational com…
Sep 10, 2001 12:00 AM - Sep 13, 2001 12:00 AM
0