This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Seminars » 2010-2011 » B. Courcelle, 2011-01-24

Seminar

Speaker: Bruno Courcelle (Bordeaux I, Institut Universitaire de France)
Title: Special tree-width and the verification of monadic second-order Properties
Date: Monday, 24 Jan 2011
Time: 18:00-19:00

Comments

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.