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

Olivier Bournez 1 Felipe Cucker Paulin Jacobé de Naurois 1, 2 Jean-Yves Marion 2
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Communication dans un congrès
3rd APPSEM II Workshop - APPSEM'05, Sep 2005, Frauenchiemsee/Germany, 2005
Liste complète des métadonnées

https://hal.inria.fr/inria-00000519
Contributeur : Olivier Bournez <>
Soumis le : mercredi 26 octobre 2005 - 19:06:10
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00000519, version 1

Collections

Citation

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, 2005. 〈inria-00000519〉

Partager

Métriques

Consultations de la notice

232