Romain Péchoux

Analyse de la complexité des programmes par interprétation sémantique

Romain Péchoux, 2007 .

Sur l'efficacité des systèmes de formes normales de fonctions Booléennes

Miguel Couceiro, Romain Péchoux, Pierre Mercuriali, 2017 .

Analyse de la complexité des programmes par interprétation sémantique. (Program complexity analysis by semantics interpretation)

Romain Péchoux, Romain Péchoux, 2007 .