logic_to_capture_ptime (174B)
1 # Logic to capture PTIME 2 3 [open_problem] in [descriptive_complexity]: finding a logic that captures [ptime] 4 5 Up: [descriptive_complexity] 6 7 See also: [Immerman_vardi_theorem]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |