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.