Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$ - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005
Not file

Dates and versions

inria-00000519 , version 1 (26-10-2005)

Identifiers

  • HAL Id : inria-00000519 , version 1

Cite

Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion. Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$. 3rd APPSEM II Workshop - APPSEM'05, Sep 2005, Frauenchiemsee/Germany. ⟨inria-00000519⟩
113 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More