Buy Me a Coffee at ko-fi.com

Fo

complexity class of structures that can be recognized by formulas of first-order logic

Categories