wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

abiteboul_vianu_theorem (219B)

      1 # Abiteboul Vianu theorem
      2 
      3 https://en.wikipedia.org/wiki/Abiteboul-Vianu_theorem
      4 
      5 [PTIME] is equal to [PSPACE] if and only if [fixed_point_logic] is the same as [partial_fixed_point_logic]
      6 
      7 Up: [descriptive_complexity]