Travelled to:1 × Canada
1 × USA
Collaborated with:M.Bodirsky T.Tsankov
Talks about:schaefer (1) theorem (1) graph (1) defin (1) decid (1)
Person: Michael Pinsker
DBLP: Pinsker:Michael
Contributed to:
2011
2011Wrote 2 papers:
- LICS-2011-BodirskyPT #decidability
- Decidability of Definability (MB, MP, TT), pp. 321–328.
- STOC-2011-BodirskyP #graph #theorem
- Schaefer’s theorem for graphs (MB, MP), pp. 655–664.