Dyn-FO: A Parallel, Dynamic Complexity Class.

Sushant Patnaik, Neil Immerman

Browse the full PODS paper archive.