Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2445/33855

Sherali-Adams Relaxations and Indistinguishability in Counting Logics
Atserias, Albert; Maneva, Elitza
Universitat de Barcelona
Lògica de primer ordre
Programació lineal
Teoria de grafs
First-order logic
Linear programming
Graph theory
(c) Society for Industrial and Applied Mathematics., 2013
Artículo
info:eu-repo/semantics/publishedVersion
Society for Industrial and Applied Mathematics.
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Atserias, Albert; Lauria, Massimo; Nordström, Jakob
Atserias, Albert; Torunczyk, Szymon Abram
 

Coordinación

 

Patrocinio