@inproceedings{bournez:inria-00000519, TITLE = {{Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$}}, AUTHOR = {Bournez, Olivier and Cucker, Felipe and Jacob{\'e} de Naurois, Paulin and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00000519}, BOOKTITLE = {{3rd APPSEM II Workshop - APPSEM'05}}, ADDRESS = {Frauenchiemsee/Germany}, YEAR = {2005}, MONTH = Sep, HAL_ID = {inria-00000519}, HAL_VERSION = {v1}, }