Dyn-FO: A parallel, dynamic complexity class

From MaRDI portal
Publication:1376403