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
Communication Dans Un Congrès Année : 2005

Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$

Olivier Bournez  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00000519

Soumis le : mercredi 26 octobre 2005-19:06:10

Dernière modification le : vendredi 24 mars 2023-14:52:47

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00000519 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA
122 Consultations
0 Téléchargements

Partager

More