Telecharger Cours

Paris 7 UFR de Mathématiques Th`ese - Yann Strozecki

Introduction (en français) ... He was also taught a magic language called monadic second order ... This latter problem is NP-complete over 2-CNF formulas [FG06].



Download