Conference Papers
Year : 2005
Olivier Bournez : Connect in order to contact the contributor
https://inria.hal.science/inria-00000519
Submitted on : Wednesday, October 26, 2005-7:06:10 PM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Dates and versions
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⟩
Collections
113
View
0
Download