New answers tagged descriptive-complexity
0
votes
Can one do descriptive complexity theory using abstract state machines?
Found one clear link: work on Choiceless PTime characterization with ASM. The introduction section explains that encoding to string is required for the Turing machines model, so ASM may be an ...
- 295
Top 50 recent answers are included