This paper is motivated by the question whether there exists a logic capturing polynomial time computation over unordered structures. We consider several algorithmic problems near the border of the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback