New answers tagged

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 ...
uhbif19's user avatar
  • 295

Top 50 recent answers are included