Travelled to:1 × Denmark
1 × Japan
2 × USA
Collaborated with:J.Marcinkowski M.Bojanczyk H.Michalewski M.Skrzypczak
Talks about:undecid (2) chase (2) determinaci (1) conjectur (1) conjunct (1) instanc (1) infinit (1) converg (1) control (1) termin (1)
Person: Tomasz Gogacz
DBLP: Gogacz:Tomasz
Contributed to:
2015
20142013
2013Wrote 5 papers:
- LICS-2015-GogaczM #decidability #query
- The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable (TG, JM), pp. 281–292.
- ICALP-v2-2014-BojanczykGMS #decidability #infinity #on the
- On the Decidability of MSO+U on Infinite Trees (MB, TG, HM, MS), pp. 50–61.
- ICALP-v2-2014-GogaczM #decidability #termination
- All-Instances Termination of Chase is Undecidable (TG, JM), pp. 293–304.
- LICS-2013-GogaczM #convergence #finite
- Converging to the Chase — A Tool for Finite Controllability (TG, JM), pp. 540–549.
- PODS-2013-GogaczM #on the
- On the BDD/FC conjecture (TG, JM), pp. 127–138.