Travelled to:1 × Norway
Collaborated with:A.Durand
Talks about:variabl (1) problem (1) complex (1) second (1) enumer (1) queri (1) order (1) logic (1)
Person: Yann Strozecki
 DBLP: Strozecki:Yann
Contributed to:
Wrote 1 papers:
- CSL-2011-DurandS #complexity #higher-order #logic #problem #query
 - Enumeration Complexity of Logical Query Problems with Second-order Variables (AD, YS), pp. 189–202.
 












