Wied Pakusa

发表

M. Bodirsky, Wied Pakusa, Jakub Rydval, 2020, LICS.

Martin Grohe, Erich Grädel, Benedikt Pago, 2018, Log. Methods Comput. Sci..

Erich Grädel, Wied Pakusa, E. Grädel, 2015, The Journal of Symbolic Logic.

Anuj Dawar, Bjarki Holm, Eryk Kopczynski, 2012, Log. Methods Comput. Sci..

Erkal Selman, Wied Pakusa, Svenja Schalthöfer, 2018, CSL.

Lukasz Kaiser, Erich Grädel, Wied Pakusa, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.

Martin Grohe, Erich Grädel, Wied Pakusa, 2014, MFCS.

Erich Grädel, Benedikt Pago, Wied Pakusa, 2017, CSL.