Travelled to:1 × France
1 × Italy
1 × Japan
1 × Norway
1 × Switzerland
1 × United Kingdom
Collaborated with:∅ S.Torunczyk A.W.To B.Klin J.Ochremiak A.Dawar E.Grädel B.Holm W.Pakusa
Talks about:tree (3) posit (2) half (2) determinaci (1) constraint (1) satisfact (1) incomplet (1) regular (1) problem (1) infinit (1)
Person: Eryk Kopczynski
DBLP: Kopczynski:Eryk
Contributed to:
2015
2012201120102007
2006
2017Wrote 7 papers:
- LICS-2015-KlinKOT #constraints #finite #problem
- Locally Finite Constraint Satisfaction Problems (BK, EK, JO, ST), pp. 475–486.
- CSL-2012-DawarGHKP #equation #linear
- Definability of linear equation systems over groups and rings (AD, EG, BH, EK, WP), pp. 213–227.
- CSL-2011-Kopczynski #consistency #question
- Trees in Trees: Is the Incomplete Information about a Tree Consistent? (EK), pp. 367–380.
- LICS-2010-KopczynskiT #complexity #image
- Parikh Images of Grammars: Complexity and Applications (EK, AWT), pp. 80–89.
- CSL-2007-Kopczynski
- ω-Regular Half-Positional Winning Conditions (EK), pp. 41–53.
- ICALP-v2-2006-Kopczynski #game studies #infinity
- Half-Positional Determinacy of Infinite Games (EK), pp. 336–347.
- POPL-2017-KopczynskiT #named #semantics #syntax
- LOIS: syntax and semantics (EK, ST), pp. 586–598.