Virgile Mogbil (LIPN, Paris Nord), Parallel computation with boolean proof nets

Schedule

  • Feb. 2, 2012, 14:30 - 16:00

Attachments